fix dsfull

[automated-distro-installer] / fai-revm

diff --git a/fai-revm b/fai-revm
index 6271a36bfa4980f3be53fa0ca4dd1efe977d4141..b10d6e651895f4baa93a576ab26aa93516bd01b1 100755 (executable)
--- a/fai-revm
+++ b/fai-revm
@@ -14,7 +14,6 @@
 # You should have received a copy of the GNU General Public License
 # along with this program; if not, write to the Free Software
 # Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA.
-set -x
 
 # Note, sometimes shutting down the existing demohost vm
 # fails. Just run again if that happens.
@@ -104,9 +103,11 @@ if [[ $SSH_CLIENT ]]; then
 fi
 
 sleep 30
-while ! timeout -s 9 10 ssh root@$name /bin/true; do sleep 5; done
+while ! timeout -s 9 10 ssh root@$name /bin/true; do
+    e sleep 5
+done
 cleanup() { :; }
-pxe-server :
+e pxe-server :
 if is_arch_revm; then
     ./arch-init-remote $name
 fi