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) |