| Index: src/scripts/start_devserver
|
| diff --git a/src/scripts/start_devserver b/src/scripts/start_devserver
|
| index f56f4c61200e112bf3c344d19db5b6bdbefcf416..908dc2eb432af64177d3639ebd04ba9b279f588c 100755
|
| --- a/src/scripts/start_devserver
|
| +++ b/src/scripts/start_devserver
|
| @@ -10,7 +10,7 @@ COMMON_SH="$(dirname "$0")/common.sh"
|
| . "$COMMON_SH"
|
|
|
| # Script must be run inside the chroot if not in 'always serve' mode.
|
| -if [[ "$1" != "-a" ]]
|
| +if [[ "$1" != "--archive_dir" ]]
|
| then
|
| restart_in_chroot_if_needed $*
|
| fi
|
|
|