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 | ||
