[[ ${0##*/} == arch-revm ]]
}
-errcatch-cleanup() {
+err-cleanup() {
echo "doing cleanup"
e ./pxe-server $dhcp_arg
./faiserver-disable
while ! timeout -s 9 10 ssh -oBatchMode=yes root@$name /bin/true; do
e sleep 5
done
-unset errcatch-cleanup
+unset err-cleanup
e ./pxe-server $dhcp_arg
if is_arch_revm; then
./arch-init-remote $name