diff -r dc7d315165fc -r 8117ffd92e6a server/serverconfig.py
--- a/server/serverconfig.py	Mon Nov 23 19:01:17 2009 +0100
+++ b/server/serverconfig.py	Mon Nov 23 19:08:13 2009 +0100
@@ -40,7 +40,7 @@
         self.appid = appid
 
     # make Method('default_instance_id') usable in db option defs (in native.py)
-    def default_instance_id
+    def default_instance_id(self):
         return self.appid
 
 def generate_sources_file(appid, sourcesfile, sourcescfg, keys=None):