Took hostaddr out of the loop; if it fails after 10 secs, continue

startup script. (ast@)

etc/usr/rc

@@ -143,27 +143,8 @@ start)
     if [ "$net" ]
     then
 	# Get the nodename from the DNS and set it.
-	t='-t 10'
 	trap '' 2
-	while :;
+	intr -t 10 hostaddr -h || echo "Unable to obtain an IP address."
-	do
-	    intr $t hostaddr -h
-
-	    case $? in
-	    142)
-		echo "\
-Unable to obtain an IP address after 10 seconds.  Hit DEL to get a root
-prompt to investigate, otherwise just wait until an address is received..."
-		t=
-		;;
-	    130)
-		echo "Single user."
-		intr sh
-		echo "Continue waiting for an address..."
-		;;
-	    *)	break
-	    esac
-	done
 	trap 2
     fi