summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--lib/common.sh7
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/common.sh b/lib/common.sh
index c265e3c..cd6970d 100644
--- a/lib/common.sh
+++ b/lib/common.sh
@@ -20,6 +20,13 @@
_OB_LF='
'
+_ob_abort()
+{
+ printf 'Aborted\n'
+ kill -s ABRT 0
+ exit 1 # Should never be reached, but just in case
+}
+
_ob_validate_var_name()
{
case "${1}" in