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 |