--- a/server/serverctl.py	Thu Jan 10 23:05:45 2013 +0100
+++ b/server/serverctl.py	Mon Jan 21 18:01:25 2013 +0100
@@ -442,7 +442,7 @@
         config = ServerConfiguration.config_for(appid)
         try:
             system = config.sources()['system']
-            extra_args=system.get('db-extra-arguments')
+            extra_args = system.get('db-extra-arguments')
             extra = extra_args and {'extra_args': extra_args} or {}
             get_connection(
                 system['db-driver'], database=system['db-name'],