Patch for bug 246778: ThrowUserError shouldn't cause internal error with…

globals.pl

@@ -128,7 +128,7 @@ sub AppendComment {
        # regexp verifies one or more digits, optionally followed by a period and
        # zero or more digits, OR we have a period followed by one or more digits
        if ($work_time !~ /^-?(?:\d+(?:\.\d*)?|\.\d+)$/) { 
-          ThrowUserError("need_numeric_value");
+          ThrowUserError("need_numeric_value", {}, "abort");
        }
     } else { $work_time = 0 };