# HG changeset patch
# User Florian Pose <fp@igh-essen.com>
# Date 1212498851 0
# Node ID dd13cdafc58c415dd149530aef2eae97d56fd512
# Parent  41a9937383832a92f4c744ebf2c6d7f53d59174f
Abort, if MAJOR number could not be determined.

diff -r 41a993738383 -r dd13cdafc58c script/init.d/ethercat
--- 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