src/core/command-line.cc
changeset 2629 085df3e28a28
parent 2612 42f60d73da03
child 2693 56e28e34e109
--- a/src/core/command-line.cc	Thu Mar 20 15:10:56 2008 +0000
+++ b/src/core/command-line.cc	Thu Mar 20 15:16:17 2008 +0000
@@ -243,10 +243,12 @@
 	    }
 	}
     }
-  Config::SetGlobalFailSafe (name, String (value));
-  Config::SetDefaultFailSafe (name, String (value));
-  std::cerr << "Invalid command-line arguments: --"<<name<<"="<<value<<std::endl;
-  PrintHelp ();
+  if (!Config::SetGlobalFailSafe (name, String (value))
+      && !Config::SetDefaultFailSafe (name, String (value)))
+    {
+      std::cerr << "Invalid command-line arguments: --"<<name<<"="<<value<<std::endl;
+      PrintHelp ();
+    }
 }
 
 } // namespace ns3