script/ethercat.sh
changeset 285 d6145fc87a74
parent 283 a480a0703c58
child 289 3c121228ebe9
--- a/script/ethercat.sh	Mon Jun 26 14:53:17 2006 +0000
+++ b/script/ethercat.sh	Mon Jun 26 15:33:18 2006 +0000
@@ -141,6 +141,23 @@
 			rc_status -v
 			rc_exit
 		fi
+
+		# install new default gateway
+		if [ -n "$EOE_GATEWAY" ]; then
+			while /sbin/route -n | grep -E -q "^0.0.0.0"; do
+				if ! /sbin/route del default; then
+					echo "Failed to remove default route!" 1>&2
+					/bin/false
+					rc_status -v
+					rc_exit
+				fi
+			done
+			if ! /sbin/route add default gw $EOE_GATEWAY; then
+				/bin/false
+				rc_status -v
+				rc_exit
+			fi
+		fi
 	fi
 
 	rc_status -v