X-Git-Url: http://xvm.mit.edu/gitweb/invirt/third/libt4.git/blobdiff_plain/3abd3952c1f4441f0dd6eae9883b2d01ed9cd56b..ebd5aef6dc92accb509b1cc67eaf72159f35cdfa:/rsm_client.cc diff --git a/rsm_client.cc b/rsm_client.cc index ae88169..598a1ed 100644 --- a/rsm_client.cc +++ b/rsm_client.cc @@ -1,4 +1,3 @@ -#include "types.h" #include "rsm_client.h" #include #include @@ -8,7 +7,7 @@ rsm_client::rsm_client(string dst) : primary(dst) { LOG("create rsm_client"); lock ml(rsm_client_mutex); VERIFY (init_members(ml)); - LOG("rsm_client: done"); + LOG("done"); } void rsm_client::primary_failure(lock &) { @@ -16,7 +15,7 @@ void rsm_client::primary_failure(lock &) { known_mems.pop_back(); } -rsm_protocol::status rsm_client::invoke(unsigned int proc, string &rep, const string &req) { +rsm_protocol::status rsm_client::invoke(unsigned int proc, string & rep, const string & req) { lock ml(rsm_client_mutex); while (1) { LOG("proc " << hex << proc << " primary " << primary);