X-Git-Url: http://xvm.mit.edu/gitweb/invirt/third/libt4.git/blobdiff_plain/2546a41ad36fdc9ef6471cb35a1d56930ae1b527..3abd3952c1f4441f0dd6eae9883b2d01ed9cd56b:/lock_smain.cc diff --git a/lock_smain.cc b/lock_smain.cc index d62a25b..3bd7376 100644 --- a/lock_smain.cc +++ b/lock_smain.cc @@ -1,10 +1,6 @@ -#include "rpc/rpc.h" +#include "lock_server.h" #include -#include -#include "threaded_log.h" #include -#include "lock_server.h" -#include "rsm.h" // Main loop of lock_server @@ -17,7 +13,7 @@ int main(int argc, char *argv[]) { srandom((uint32_t)getpid()); if(argc != 3){ - fprintf(stderr, "Usage: %s [master:]port [me:]port\n", argv[0]); + cerr << "Usage: " << argv[0] << " [master:]port [me:]port" << endl; exit(1); }