Re: can not get ipc error

Hi,

On Thu, Sep 26, 2013 at 12:30:28AM +0800, yuqing wang wrote:

I used launchpad to start a hello_client and hello_server.I closed hello_server and expected the call from hello_client could cause an ipc error ,because the target is not exist .

[...]

  if(ipc_error==L4_IPC_ENOT_EXISTENT ||ipc_error==L4_IPC_RECANCELED)
  {
       outstring("Ipc not exist or canceled ");
  }
  // end

Maybe you can print the ipc_error value in the else case to see which value it has?

Best, Matthias.