better support for systems with no pxe

[automated-distro-installer] / faiserver-revm

diff --git a/faiserver-revm b/faiserver-revm
index 1065f3b84b45fd3648114aa6c74ce2819f153c82..78427231df54960f855e2c15b5738c20488742a8 100755 (executable)
--- a/faiserver-revm
+++ b/faiserver-revm
@@ -34,6 +34,6 @@ done
 
 # note: with a vm, pxe boot is turned off in the bios after it's first reboot.
 cleanup() { :; }
-./pxe-server :
+./pxe-server
 
 ssh $opts root@faiserver ./faiserver-setup