# HG changeset patch
# User Dennis Fink <dennis.fink@c3l.lu>
# Date 2013-11-18 21:23:08
# Node ID cbea64fc02259f91aa835dab3f66ffd080a87c99
# Parent  798160fd119811037516da13f2e8db951da9e3d0

updated ennstatus

diff --git a/Scripts/update_server.py b/Scripts/update_server.py
--- a/Scripts/update_server.py
+++ b/Scripts/update_server.py
@@ -31,7 +31,7 @@ def get_tor_status(name='tor'):
         pid = open('/'.join(['/var', 'run', 'tor', pid_file])).readline()
         print(pid)
 
-        if pid in pids:
+        if str(pid) in pids:
             return "Online"
         else:
             return "Offline"