| Index: client/bin/site_login.py
|
| diff --git a/client/bin/site_login.py b/client/bin/site_login.py
|
| index 7d212fc582bbaf25e26dd9071e379c159f9feda2..87077fbec5a42cef6ea302d68f0aaae2b8db727f 100644
|
| --- a/client/bin/site_login.py
|
| +++ b/client/bin/site_login.py
|
| @@ -91,10 +91,11 @@ def wait_for_screensaver(timeout=10, raise_error=True):
|
| def nuke_login_manager():
|
| nuke_process_by_name('session_manager')
|
| wait_for_browser()
|
| +
|
|
|
| def nuke_process_by_name(name, with_prejudice=False):
|
| pid = int(utils.system_output('pgrep -o ^%s$' % name))
|
| if with_prejudice:
|
| utils.nuke_pid(pid, [signal.SIGKILL])
|
| else:
|
| - utils.nuke_pid(pid)
|
| + utils.nuke_pid(pid)
|
|
|