diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/runqemu-internal | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/scripts/runqemu-internal b/scripts/runqemu-internal index 03b40d8323..0ace485cb8 100755 --- a/scripts/runqemu-internal +++ b/scripts/runqemu-internal | |||
@@ -253,6 +253,14 @@ else | |||
253 | 253 | ||
254 | 254 | ||
255 | n0=$(echo $TAP | sed 's/tap//') | 255 | n0=$(echo $TAP | sed 's/tap//') |
256 | |||
257 | case $n0 in | ||
258 | ''|*[!0-9]*) | ||
259 | echo "Error Couldn't turn $TAP into an interface number?" | ||
260 | exit 1 | ||
261 | ;; | ||
262 | esac | ||
263 | |||
256 | n1=$(($n0 * 2 + 1)) | 264 | n1=$(($n0 * 2 + 1)) |
257 | n2=$(($n1 + 1)) | 265 | n2=$(($n1 + 1)) |
258 | 266 | ||