From 5a98cd3e924fe4c2e0f3d436b14c5fea3f3a2a8c Mon Sep 17 00:00:00 2001
From: Cristiano Giuffrida <cristiano@minix3.org>
Date: Thu, 6 May 2010 22:18:21 +0000
Subject: [PATCH] Fix Inet initialization race.

---
 docs/UPDATING | 2 ++
 etc/usr/rc    | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/docs/UPDATING b/docs/UPDATING
index db2d72163..3d7e17e90 100644
--- a/docs/UPDATING
+++ b/docs/UPDATING
@@ -1,3 +1,5 @@
+20100506:
+        /usr/src/etc/usr/rc updated: copy it (or merge it) to /usr/etc/rc.
 20100410:
         /usr/src/etc/usr/rc updated: copy it (or merge it) to /usr/etc/rc.
         /usr/src/etc/rc updated: copy it (or merge it) to /etc/rc.
diff --git a/etc/usr/rc b/etc/usr/rc
index 3401098be..b7e20b61d 100644
--- a/etc/usr/rc
+++ b/etc/usr/rc
@@ -107,7 +107,7 @@ start)
             eval up $driver $arg -period 5HZ
         fi
     done
-    upopt -n inet -script /etc/rs.inet -dev /dev/ip -devstyle STYLE_CLONE
+    up inet -script /etc/rs.inet -dev /dev/ip -devstyle STYLE_CLONE
     upopt -n printer -dev /dev/lp -period 10HZ
     upopt -n ipc
     echo .