Changeset 226

Timestamp:

04/09/06 05:15:20 (18 years ago)

Author:

nanardon

Message:

• die if a plugin file cannot be found

File:

• trunk/soft/ObsData/ObsData.pm (modified) (1 diff)

trunk/soft/ObsData/ObsData.pm

@@ -127 +127 @@
                     $datatype,
                 );
-                next; # FIXME die ??
+                exit(1);
             }
             my $sub = do $plugfilename;