rename server

bzr revid: al@openerp.com-20131005221829-a18vx5ag6ef4ufee

openerp/addons/base/module/module.py

@@ -716,7 +716,7 @@ class module(osv.osv):
             if already_installed:
                 # in this case, force server restart to reload python code...
                 cr.commit()
-                openerp.service.restart()
+                openerp.service.server.restart()
                 return {
                     'type': 'ir.actions.client',
                     'tag': 'home',

openerp/cli/server.py

@@ -177,7 +177,7 @@ def main(args):
 
     if not config["stop_after_init"]:
         setup_pid_file()
-        openerp.service.workers.start()
+        openerp.service.server.start()
         if config['pidfile']:
             os.unlink(config['pidfile'])
     else:

openerp/service/__init__.py

@@ -25,7 +25,7 @@ import db
 import model
 import report
 import wsgi_server
-import workers
+import server
 
 #.apidoc title: RPC Services