server/serverctl.py
changeset 7398 26695dd703d8
parent 7342 d1c8b5b3531c
child 7457 f7c97a3cd121
--- a/server/serverctl.py	Thu May 19 10:36:26 2011 +0200
+++ b/server/serverctl.py	Thu May 19 10:53:11 2011 +0200
@@ -970,7 +970,7 @@
         appid = args[0]
         config = ServerConfiguration.config_for(appid)
         repo, cnx = repo_cnx(config)
-        session = repo._get_session(cnx.sessionid, setpool=True)
+        session = repo._get_session(cnx.sessionid, setcnxset=True)
         reindex_entities(repo.schema, session)
         cnx.commit()