diff -r 2c5e38748004 -r dad9733c99f0 edit_prefs.py
--- a/edit_prefs.py	Sun Dec 28 12:29:23 2008 -0500
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,32 +0,0 @@
-#!/usr/bin/python
-
-import sys
-import traceback
-sys.path.insert(0, "/home/fabien/lib/python")
-sys.path.insert(0, "./lib")
-sys.stderr = sys.stdout
-
-print "Content-type: text/html; charset=iso-8859-1;"
-print
-
-# import cgitb; cgitb.enable()
-import cgi
-import my_db
-from os import environ
-from webutils import load_index
-
-if (__name__ == "__main__"):
-    form = cgi.FieldStorage()
-    db = my_db.connect(environ["REMOTE_USER"])
-    prefs = db.get_preferences()
-    if form.has_key('kw_size'):
-    	prefs['keywords_box'] = int(form['kw_size'].value)
-    if form.has_key('kw_sort'):
-    	prefs['keywords_sort'] = form['kw_sort'].value
-    if form.has_key('default_view'):
-    	prefs['default_view'] = int(form['default_view'].value)
-    prefs['keywords_reverse'] = form.has_key('kw_reverse')
-    if form.has_key('fullname'):
-    	prefs['fullname'] = form['fullname'].value
-    db.set_preferences(prefs)
-    load_index(db, prefs)