Resized the graphics slightly. The walls are thinner, the padding is smaller, and

[grrobot] / src / grrobot.c

diff --git a/src/grrobot.c b/src/grrobot.c
index 2f3b5332b7aea9e649e6f457cbcdda91b1fd3fd8..903a164c47e3d63059c83f23f2397ef61da77acd 100644 (file)
--- a/src/grrobot.c
+++ b/src/grrobot.c
@@ -188,9 +188,12 @@ grr_game_read_notices (grr_game_t *game)
     while (rr_client_notice_pending (game->client)) {
        status = rr_client_next_notice (game->client, &notice);
        if (status) {
-           fprintf (stderr, "Error during rr_client_next_notice: %s\n",
-                    rr_status_str (status));
-           exit (1);
+           if (status == RR_STATUS_EOF)
+               fprintf (stderr, "The server has disconnected, exiting.\n");
+           else
+               fprintf (stderr, "Error during rr_client_next_notice: %s\n",
+                        rr_status_str (status));
+           gtk_exit (1);
        }
        if (!notice) {
            fprintf (stderr, "Missing notice\n");