Setting tag nodemanager-2.0-27

[nodemanager.git] / bootauth.py

diff --git a/bootauth.py b/bootauth.py
index bf845d6..445891e 100755 (executable)
--- 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