Change hard-coded source_server to a currently existing one

diff --git a/scripts-server b/scripts-server
index ce0fc7d0c75a18ded19d2edb52e531673bc33f18..2c5ce791118b33129988dcfe9b3ffd677c8c8b75 100644 (file)
--- a/scripts-server
+++ b/scripts-server
@@ -58,7 +58,7 @@ def serve_kickstart(machine_name, install):
   hostname = machine_name + ".mit.edu"
   ip = socket.gethostbyname(hostname)
 
-  source_server = "cats-whiskers.mit.edu" # hard-coded
+  source_server = "shining-armor.mit.edu" # hard-coded
   source_ip = re.sub('^18.181.0.', '172.21.0.', socket.gethostbyname(source_server))
 
   # generate the kickstart file