diff --git a/servers/ds/main.c b/servers/ds/main.c index 60bf2d51b..d6edc50ce 100644 --- a/servers/ds/main.c +++ b/servers/ds/main.c @@ -159,6 +159,6 @@ message *m_ptr; /* message buffer */ int s; s = send(who_e, m_ptr); /* send the message */ if (OK != s) - panic("DS", "unable to send reply!", s); + printf("DS: unable to send reply to %d: %d\n", who_e, s); }