summaryrefslogtreecommitdiff
path: root/openerp/cli/server.py
diff options
context:
space:
mode:
authorChristophe Simonis <chs@openerp.com>2014-04-07 18:05:48 +0200
committerChristophe Simonis <chs@openerp.com>2014-04-07 18:05:48 +0200
commit0161666e8b6e91da575a96be005cb5f84c64e9cb (patch)
treeb2b24f842b6e80c1af7082794436664074593538 /openerp/cli/server.py
parentcee85a925a9240867f96978346b011eae7c08c6f (diff)
parent1e9ed7baf620b4d6eb6d5bed1cf7d4317d9c2c96 (diff)
[MERGE] forward port of branch saas-3 up to revid 5112 chs@openerp.com-20140407144238-3s38zadkh7yxpdy7
bzr revid: chs@openerp.com-20140407160548-ttuc877kknuycoqw
Diffstat (limited to 'openerp/cli/server.py')
-rw-r--r--openerp/cli/server.py12
1 files changed, 9 insertions, 3 deletions
diff --git a/openerp/cli/server.py b/openerp/cli/server.py
index e7ba695f19c..561b9a19879 100644
--- a/openerp/cli/server.py
+++ b/openerp/cli/server.py
@@ -29,6 +29,7 @@ GNU Public Licence.
(c) 2003-TODAY, Fabien Pinckaers - OpenERP SA
"""
+import atexit
import logging
import os
import signal
@@ -78,16 +79,23 @@ def report_configuration():
('database user', config['db_user'])]:
_logger.info("%s: %s", name, value)
+def rm_pid_file():
+ config = openerp.tools.config
+ if not openerp.evented and os.path.exists(config['pidfile']):
+ os.unlink(config['pidfile'])
+
def setup_pid_file():
""" Create a file with the process id written in it.
This function assumes the configuration has been initialized.
"""
config = openerp.tools.config
- if config['pidfile']:
+ if not openerp.evented and config['pidfile']:
with open(config['pidfile'], 'w') as fd:
pidtext = "%d" % (os.getpid())
fd.write(pidtext)
+ atexit.register(rm_pid_file)
+
def export_translation():
config = openerp.tools.config
@@ -155,8 +163,6 @@ def main(args):
setup_pid_file()
rc = openerp.service.server.start(preload=preload, stop=stop)
- if config['pidfile']:
- os.unlink(config['pidfile'])
sys.exit(rc)
class Server(Command):