restart bus

wangzhengquan

2020-07-27 554529bb69cd610e83db2c9a80b4f36f5225d80f

 src/util/include/sem_util.h

@@ -9,7 +9,7 @@
   int get(key_t key, unsigned int value);
   int dec(int semId);
   int dec_nowait(int semId);
   int dec_timeout(int semId, struct timespec * timeout);
   int dec_timeout(const int semId, const struct timespec * timeout);
   int inc(int semId);
   void remove(int semid);