script/init.d/ethercat
changeset 942 dd13cdafc58c
parent 922 fede1d8f5b71
child 1016 f831ef59426d
--- a/script/init.d/ethercat	Tue Jun 03 13:13:53 2008 +0000
+++ b/script/init.d/ethercat	Tue Jun 03 13:14:11 2008 +0000
@@ -186,6 +186,11 @@
 
     # get dynamic major number
     MAJOR=$(awk "\$2==\"EtherCAT\" {print \$1}" /proc/devices)
+    if [ -z "${MAJOR}" ]; then
+        echo "Failed to get device major number!"
+        ${RMMOD} ec_master
+        exit_fail
+    fi
 
     # create character devices
     for i in ${MASTER_INDICES}; do