ADCP_tools_lib.pl
changeset 35 7c394a2d1fc9
parent 34 3b4bcd55e1ea
child 37 40d85448debf
equal deleted inserted replaced
34:3b4bcd55e1ea 35:7c394a2d1fc9
     1 #======================================================================
     1 #======================================================================
     2 #                    A D C P _ T O O L S _ L I B . P L 
     2 #                    A D C P _ T O O L S _ L I B . P L 
     3 #                    doc: Tue Jan  5 10:45:47 2016
     3 #                    doc: Tue Jan  5 10:45:47 2016
     4 #                    dlm: Tue Apr 12 21:37:23 2016
     4 #                    dlm: Thu May 26 10:40:42 2016
     5 #                    (c) 2016 A.M. Thurnherr
     5 #                    (c) 2016 A.M. Thurnherr
     6 #                    uE-Info: 12 26 NIL 0 0 72 0 2 4 NIL ofnI
     6 #                    uE-Info: 12 25 NIL 0 0 72 0 2 4 NIL ofnI
     7 #======================================================================
     7 #======================================================================
     8 
     8 
     9 # HISTORY:
     9 # HISTORY:
    10 #	Jan  5, 2015: - created
    10 #	Jan  5, 2015: - created
    11 
    11 
    12 $ADCP_tools_version = 1.6;
    12 $ADCP_tools_version = 1.7;
    13 
    13 
    14 die(sprintf("$0: obsolete ADCP_tools V%.1f; V%.1f required\n",
    14 die(sprintf("$0: obsolete ADCP_tools V%.1f; V%.1f required\n",
    15     $ADCP_tools_version,$ADCP_tools_minVersion))
    15     $ADCP_tools_version,$ADCP_tools_minVersion))
    16         if (!defined($ADCP_tools_minVersion) || $ADCP_tools_minVersion>$ADCP_tools_version);
    16         if (!defined($ADCP_tools_minVersion) || $ADCP_tools_minVersion>$ADCP_tools_version);
    17 
    17