--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/edit_prefs.py	Tue Oct 07 12:50:30 2003 -0400
@@ -0,0 +1,29 @@
+#!/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('kw_reverse'):
+    	prefs['keywords_reverse'] = form['kw_reverse'].value <> 0
+    db.set_preferences(prefs)
+    load_index(db)