X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fvlog.c;h=5496f010e6bfeea5e1d7152d4e0f4381c2845343;hb=3f355f47f8e7343e909ccfa854454d667baf3c38;hp=1b95d96c1cbf37ea4ed5347f4b1d0e023ee8bb8f;hpb=ba8de5cbc7a5a1edadf371107c55f946e25421d3;p=openvswitch

diff --git a/lib/vlog.c b/lib/vlog.c
index 1b95d96c..5496f010 100644
--- a/lib/vlog.c
+++ b/lib/vlog.c
@@ -522,7 +522,7 @@ format_log_message(enum vlog_module module, enum vlog_level level,
             p++;
         }
         field = 0;
-        while (isdigit(*p)) {
+        while (isdigit((unsigned char)*p)) {
             field = (field * 10) + (*p - '0');
             p++;
         }