source/a/gpm/gpm-1.20.1-no-console-error.patch


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

--- gpm-1.20.1/src/console.c.no-console-error	2006-01-18 17:06:15.000000000 +0100
+++ gpm-1.20.1/src/console.c	2006-01-18 17:08:19.000000000 +0100
@@ -249,8 +249,10 @@
    /* Failed, try OLD console */
    else if (stat(GPM_OLD_CONSOLE, &buf) == 0)
       console.device = GPM_OLD_CONSOLE;
-   else
-      gpm_report(GPM_PR_OOPS, "Can't determine console device"); 
+   else { // XXX handle this gracefully?
+      fprintf( stderr, "no console device found" );
+      exit( 1 );
+   }
 
    return console.device;
 }