X-Git-Url: http://xvm.mit.edu/gitweb/invirt/third/libt4.git/blobdiff_plain/2546a41ad36fdc9ef6471cb35a1d56930ae1b527..46fb2b4bbe3a0a8516ab04cfafa895a882c70f86:/rsm_client.h?ds=sidebyside diff --git a/rsm_client.h b/rsm_client.h index 814616f..4a80f60 100644 --- a/rsm_client.h +++ b/rsm_client.h @@ -1,11 +1,8 @@ #ifndef rsm_client_h #define rsm_client_h -#include "rpc/rpc.h" +#include "types.h" #include "rsm_protocol.h" -#include -#include - // // rsm client interface. @@ -43,19 +40,19 @@ int rsm_client::call_m(unsigned int proc, R & r, const marshall & req) { if (intret < 0) return intret; u >> res; if (!u.okdone()) { - fprintf(stderr, "rsm_client::call_m: failed to unmarshall the reply.\n" - "You probably forgot to set the reply string in " - "rsm::client_invoke, or you may call RPC 0x%x with wrong return " - "type\n", proc); + cerr << "rsm_client::call_m: failed to unmarshall the reply." << endl; + cerr << "You probably forgot to set the reply string in " + "rsm::client_invoke, or you may have called RPC 0x" << hex << + proc << " with the wrong return type" << endl; VERIFY(0); return rpc_const::unmarshal_reply_failure; } unmarshall u1(res); u1 >> r; if(!u1.okdone()) { - fprintf(stderr, "rsm_client::call_m: failed to unmarshall the reply.\n" - "You are probably calling RPC 0x%x with wrong return " - "type.\n", proc); + cerr << "rsm_client::call_m: failed to unmarshall the reply." << endl; + cerr << "You are probably calling RPC 0x" << hex << proc << + " with the wrong return type." << endl; VERIFY(0); return rpc_const::unmarshal_reply_failure; }