X-Git-Url: http://xvm.mit.edu/gitweb/invirt/third/libt4.git/blobdiff_plain/eeab3e6cade87c1fe0a5f3d93522e12ccb9ec2ab..f2170465073de34adf89161d4287182b518352c4:/lock_smain.cc

diff --git a/lock_smain.cc b/lock_smain.cc
index 086186e..363f886 100644
--- a/lock_smain.cc
+++ b/lock_smain.cc
@@ -1,10 +1,9 @@
 #include "rpc/rpc.h"
 #include <arpa/inet.h>
 #include <stdlib.h>
-#include <stdio.h>
+#include "tprintf.h"
 #include <unistd.h>
 #include "lock_server.h"
-#include "paxos.h"
 #include "rsm.h"
 
 // Main loop of lock_server
@@ -17,7 +16,7 @@ main(int argc, char *argv[])
     setvbuf(stdout, NULL, _IONBF, 0);
     setvbuf(stderr, NULL, _IONBF, 0);
 
-    srandom(getpid());
+    srandom((uint32_t)getpid());
 
     if(argc != 3){
         fprintf(stderr, "Usage: %s [master:]port [me:]port\n", argv[0]);