null pointer dereference

diff --git a/bin/named/server.c b/bin/named/server.c
index c991cae1c8990bbbcb8665b4916d4df5d08695fc..a873ff53019c07b60af898c5ce9779ea6444dac0 100644 (file)
--- a/bin/named/server.c
+++ b/bin/named/server.c
@@ -15,7 +15,7 @@
  * WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
  */
 
-/* $Id: server.c,v 1.378 2002/06/13 05:54:34 marka Exp $ */
+/* $Id: server.c,v 1.379 2002/06/20 00:21:35 marka Exp $ */
 
 #include <config.h>
 
@@ -2803,10 +2803,10 @@ ns_server_dumpdb(ns_server_t *server, char *args) {
        if (ptr == NULL)
                return (ISC_R_UNEXPECTEDEND);
 
-       sep = (*args == '\0') ? "" : ": ";
+       sep = (args == NULL) ? "" : ": ";
        isc_log_write(ns_g_lctx, NS_LOGCATEGORY_GENERAL,
                      NS_LOGMODULE_SERVER, ISC_LOG_INFO,
-                     "dumpdb started%s%s", sep, args);
+                     "dumpdb started%s%s", sep, (args != NULL) ? args : "");
 
        ptr = next_token(&args, " \t");
        if (ptr != NULL && strcmp(ptr, "-all") == 0) {