diff options
Diffstat (limited to 'openerp/cli')
| -rw-r--r-- | openerp/cli/server.py | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/openerp/cli/server.py b/openerp/cli/server.py index d97d4c81571..bc83b735624 100644 --- a/openerp/cli/server.py +++ b/openerp/cli/server.py @@ -207,10 +207,15 @@ def quit_on_signals(): pass config = openerp.tools.config + openerp.service.stop_services() + + if getattr(openerp, 'phoenix', False): + # like the phoenix, reborn from ashes... + openerp.service._reexec() + return + if config['pidfile']: os.unlink(config['pidfile']) - - openerp.service.stop_services() sys.exit(0) def configure_babel_localedata_path(): |
