#include "nl_cons.h"
void nlcg_receive(pid_t who);
This function is called when nlcon_getch() Receives an unrecognizedmessage. The default behaviour is to return DAS_UNKN, but the library function may be overridden by a user function of the same name.
When Receiving, nlcon_getch() is only interested in the PID of the sender, since it is receiving empty proxies. nlcg_receive() may extract content from a message by calling Readmsg().
nlcg_receive() is responsible for replying to all messages for which it is called.
nlcon_getch().