X-Git-Url: http://xvm.mit.edu/gitweb/invirt/third/libt4.git/blobdiff_plain/4a160f880ce46153acb23b137f30fd588df5fb9d..6b5e09540e9392a7015fae1ad3b01b0973600ff2:/lock_tester.cc diff --git a/lock_tester.cc b/lock_tester.cc index b2df781..0204a71 100644 --- a/lock_tester.cc +++ b/lock_tester.cc @@ -26,8 +26,7 @@ void check_grant(lock_protocol::lockid_t lid) { lock ml(count_mutex); int x = lid[0] & 0x0f; if (ct[x] != 0) { - cout << "error: server granted " << lid << " twice" << endl; - cerr << "error: server granted " << lid << " twice" << endl; + LOG_NONMEMBER("error: server granted " << lid << " twice"); exit(1); } ct[x] += 1; @@ -37,7 +36,7 @@ void check_release(lock_protocol::lockid_t lid) { lock ml(count_mutex); int x = lid[0] & 0x0f; if (ct[x] != 1) { - cerr << "error: client released un-held lock " << lid << endl; + LOG_NONMEMBER("error: client released un-held lock " << lid); exit(1); } ct[x] -= 1; @@ -123,7 +122,7 @@ main(int argc, char *argv[]) srandom((uint32_t)getpid()); if (argc < 2) { - cerr << "Usage: " << argv[0] << " [host:]port [test]" << endl; + LOG_NONMEMBER("Usage: " << argv[0] << " [host:]port [test]"); exit(1); }