X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=tools.py;h=c5d3e400495ca22f4920bbfa6ef102edf6704745;hb=d3a3b2d3ea98e72183d1cb5497c38badaa0c5863;hp=98a5b7e3f163541fff9af4db2c1c1cb91c903b93;hpb=498a94a7c005d849f1775f84f53933d778674a5b;p=nodemanager.git

diff --git a/tools.py b/tools.py
index 98a5b7e..c5d3e40 100644
--- a/tools.py
+++ b/tools.py
@@ -91,8 +91,8 @@ def fork_as(su, function, *args):
 ####################
 # manage files
 def pid_file():
-    """We use a pid file to ensure that only one copy of NM is running at a given time.  
-If successful, this function will write a pid file containing the pid of the current process.  
+    """We use a pid file to ensure that only one copy of NM is running at a given time.
+If successful, this function will write a pid file containing the pid of the current process.
 The return value is the pid of the other running process, or None otherwise."""
     other_pid = None
     if os.access(PID_FILE, os.F_OK):  # check for a pid file