clever hack to avoid starting from 0 disabled because

when own 0-pages are mapped out, this doesn't work and
isn't necessary.

diff --git a/servers/inet/inet_config.c b/servers/inet/inet_config.c
index b8794c0f0713fafe0a62c7cdcedc7d92a2a48dd2..2005e22dc8af6a48f3967ef6a58d408e9f2d48d4 100644 (file)
--- a/servers/inet/inet_config.c
+++ b/servers/inet/inet_config.c
@@ -219,7 +219,9 @@ void read_conf(void)
        { static int first= 1; 
                if (!first) ip_panic(( "read_conf: called a second time" ));
                first= 0;
+#if 0
                *(u8_t *)0 = 0xcc;      /* INT 3 */
+#endif
        }