X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=lib%2Fvlog.c;h=5496f010e6bfeea5e1d7152d4e0f4381c2845343;hb=417a8cb6a6f6f16a7ddf35435079b20f78081bd1;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++;
         }