X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fcfg.c;h=901315ed99cd83d0f8b333a7e8e03247734f66c8;hb=9ee3ae3e0d89fcd67d04d8a890734a5fbee218a5;hp=833e6e51648e1656b27cc6f7d2d3606b9a97d4a5;hpb=5eccf359391f7fe2cdb0edbaaf5680895c115218;p=openvswitch

diff --git a/lib/cfg.c b/lib/cfg.c
index 833e6e51..901315ed 100644
--- a/lib/cfg.c
+++ b/lib/cfg.c
@@ -332,13 +332,16 @@ try_lock(int fd, bool block)
 int
 cfg_lock(uint8_t *cookie, int timeout)
 {
-    long long int start = time_msec();
+    long long int start;
     long long int elapsed = 0;
     int fd;
     uint8_t curr_cookie[CFG_COOKIE_LEN];
 
     assert(lock_fd < 0);
     COVERAGE_INC(cfg_lock);
+
+    time_refresh();
+    start = time_msec();
     for (;;) {
         int error;