~loyalinfo/openerp-tools/trunk

« back to all changes in this revision

Viewing changes to openerp-runbot/openerprunbot/misc.py

  • Committer: Christophe Simonis
  • Date: 2013-04-26 11:13:12 UTC
  • Revision ID: chs@openerp.com-20130426111312-13x1inxgd984x7wv
[FIX] runbot: kill server with SIGTERM then with SIGKILL after 3 seconds

Show diffs side-by-side

added added

removed removed

Lines of Context:
69
69
    log("run", rc=rc)
70
70
    return rc
71
71
 
72
 
def kill(pid,sig=9):
 
72
def kill(pid,sig=signal.SIGKILL):
73
73
    try:
74
74
        os.kill(pid,sig)
75
75
    except OSError: