diff options
| -rw-r--r-- | globals.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/globals.pl b/globals.pl index 7c1c9eb93..a2172a998 100644 --- a/globals.pl +++ b/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 }; |