Handle missing file in __line explorer gracefully

closes #675
This commit is contained in:
Jonas Weber 2018-06-20 11:14:25 +02:00
parent 41186d66d4
commit 4eaace7dd5

View file

@ -39,6 +39,11 @@ else
file="/$__object_id" file="/$__object_id"
fi fi
if [ ! -f "$file" ]; then
echo "file_missing"
exit 0
fi
awk -v position="$position" -v needle="$needle" ' awk -v position="$position" -v needle="$needle" '
function _find(_text, _pattern) { function _find(_text, _pattern) {
if (needle == "regex") { if (needle == "regex") {