# HG changeset patch
# User Matt Johnston <matt@ucc.asn.au>
# Date 1450189181 -28800
# Node ID 980b7ea2c5efce8440fa6b90b9d47a9c99ae17e1
# Parent  3daff2072bd0636953654a057251f898bd58de5f
unknown options should be non-fatal

diff -r 3daff2072bd0 -r 980b7ea2c5ef cli-runopts.c
--- a/cli-runopts.c	Tue Dec 15 22:15:44 2015 +0800
+++ b/cli-runopts.c	Tue Dec 15 22:19:41 2015 +0800
@@ -888,5 +888,5 @@
 	}
 #endif
 
-	dropbear_exit("Bad configuration option '%s'", origstr);
+	dropbear_log(LOG_WARNING, "Ignoring unknown configuration option '%s'", origstr);
 }