shebangs just in case

[nodemanager.git] / bootauth.py

diff --git a/bootauth.py b/bootauth.py
index 3ebe30b..19353f4 100755 (executable)
--- a/bootauth.py
+++ b/bootauth.py
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/python3
 #
 # Obtaining a node session key. Usually, the Boot
 # Manager obtains it, then writes it to /etc/planetlab/session.