X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=bootauth.py;h=445891e00c8ad9ff441577e287a9371f1cec4d21;hb=6f0db1c8e69c4e51b6af1fb74e6e9811e4a8bffe;hp=bf845d63ec3b30b2927a093a756513691cd56f1b;hpb=761cada14f2a583c6791d779d68b8a7e5094800d;p=nodemanager.git

diff --git a/bootauth.py b/bootauth.py
index bf845d6..445891e 100755
--- a/bootauth.py
+++ b/bootauth.py
@@ -1,7 +1,10 @@
 #!/usr/bin/python
 #
+# $Id$
+# $URL$
+#
 # Test script for obtaining a node session key. Usually, the Boot
-# Manager obtains it, then writes it to /etc/planetlab/session. 
+# Manager obtains it, then writes it to /etc/planetlab/session.
 #
 # Mark Huang <mlhuang@cs.princeton.edu>
 # Copyright (C) 2006 The Trustees of Princeton University