Commit 95b40cd7ea6610dc5ba0ca7bfb6e7cf543d15ef7

  • avatar
  • admin
  • Wed Nov 23 15:03:37 IST 2011
Unstable code
server/alipi.py
(7 / 2)
  
1111import gdata.blogger.client
1212from flask import g
1313from flask import redirect
14import urllib
1415app = Flask(__name__)
1516@app.route('/')
1617def start_page() :
1718 d = {}
18 d['foruri'] = request.args['foruri']
19 d['foruri'] = urllib.unquote(request.args['foruri'])
1920 myhandler1 = urllib2.Request(d['foruri'],headers={'User-Agent':"Mozilla/5.0 (X11; U; Linux i686) Gecko/20071127 Firefox/2.0.0.11"}) #A fix to send user-agents, so that sites render properly.
2021 try:
2122 a = urllib2.urlopen(myhandler1)
……
3737 root.body.append(script_edit)
3838 script_test.set("src", "http://dev.a11y.in/alipi/ui.js")
3939 script_test.set("type", "text/javascript")
40 script_edit.set("src", "http://dev.a11y.in/alipi/wsgi/page_edit.js")
40 script_edit.set("src", "http://127.0.0.1/server/wsgi/page_edit.js")
4141 script_edit.set("type","text/javascript")
4242
4343 script_jq_mini = root.makeelement('script')
……
192192 feed = client.GetFeed()
193193 for entry in feed.entry:
194194 return entry
195
196@app.route('/directory')
197def show_dir():
198 return render_template('directory.html')
195199
196200import logging,os
197201from logging import FileHandler
server/index.html
(1 / 1)
  
2020 {
2121 foruri = document.getElementById("inputurl").value;
2222 if(foruri.substring(0,7) == "http://") {
23 window.open("http://127.0.0.1:5000/?foruri=" + foruri);
23 window.open("http://127.0.0.1:5000/?foruri=" + encodeURIComponent(foruri));
2424 }
2525 else if (foruri.substring(0,8) == "https://") {
2626 window.open("http://127.0.0.1:5000/?foruri=" + foruri);
server/wsgi/page_edit.js
(2 / 2)
  
28122812 doneButton.onclick = function doneButtonOnClick(elements) {
28132813 editWindow = new EditWindow(pageEditor);
28142814 editWindow.activate();
2815 document.getElementById('originaltext').value = selectedElement.textContent;
2816 document.getElementById('texteditor').value = selectedElement.textContent;
2815 document.getElementById('originaltext').value = selectedElement.parentNode.innerHTML;
2816 document.getElementById('texteditor').value = selectedElement.parentNode.innerHTML;
28172817 document.getElementById('editoroverlay').appendChild(textButton);
28182818 selectedElement.setAttribute('id', 'alipiSelectedElement');
28192819 };