X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=utilities%2Fovs-wdt.c;h=fedc65c36e179dfc859cc4472994d0e6e837bea7;hb=6a1f89c86b67db7ad1532031a726bd4f517ab162;hp=fc3efb19f0b26f27b3003ff7f2d940e9ce9cb392;hpb=34e63086edddcae06d7c1a4fa84fec0861e50758;p=openvswitch diff --git a/utilities/ovs-wdt.c b/utilities/ovs-wdt.c index fc3efb19..fedc65c3 100644 --- a/utilities/ovs-wdt.c +++ b/utilities/ovs-wdt.c @@ -1,4 +1,4 @@ -/* Copyright (c) 2008, 2009 Nicira Networks, Inc. +/* Copyright (c) 2008, 2009, 2010 Nicira Networks, Inc. * * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. @@ -30,7 +30,7 @@ #define DEFAULT_INTERVAL 1 #define DEFAULT_TIMEOUT 30 -int fd = -1; +static int fd = -1; /* The WDT is automatically enabled when /dev/watchdog is opened. If we * do not send the magic value to the device first before exiting, the @@ -134,7 +134,7 @@ int main(int argc, char *argv[]) {"help", no_argument, NULL, 'h'}, {"verbose", no_argument, NULL, 'v'}, {"version", no_argument, NULL, 'V'}, - {0, 0, 0, 0} + {NULL, 0, NULL, 0} }; setup_signal();