From fe4028c5d1d49b7fc6981305966dd71b7fbe46e6 Mon Sep 17 00:00:00 2001
From: Robin Krahl <guskraro@student.gu.se>
Date: Wed, 11 Oct 2017 09:46:54 +0000
Subject: investigate.sh: Check that the dump file really exists

---
 broccoli/script/investigate.sh | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/broccoli/script/investigate.sh b/broccoli/script/investigate.sh
index f701102..9f67949 100755
--- a/broccoli/script/investigate.sh
+++ b/broccoli/script/investigate.sh
@@ -10,6 +10,12 @@ then
 	exit
 fi
 
+if [[ ! -f "$1" || ! -r "$1" ]]
+then
+	echo "Dump file $1 does not exist or cannot be read."
+	exit
+fi
+
 CAPTURE_FILE=$(realpath "$1")
 FILTER_MACHINE=$2
 FILTER_REGISTER=$3
-- 
cgit v1.2.3