[klibc] [PATCH 3/3] Ignore devices in process_recieve_event which are already configured.

[Ulrich Dangel]

It may happen that process_receive_event is called with already configured
devices resulting in multiple prints of the device configuration.

This patch changes the behaviour of process_receive_event and ignores
already configured devices.

Signed-off-by: Ulrich Dangel <uli at spamt.net>
---
 usr/kinit/ipconfig/main.c |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)

diff --git a/usr/kinit/ipconfig/main.c b/usr/kinit/ipconfig/main.c
index 43b6637..76708a9 100644
--- a/usr/kinit/ipconfig/main.c
+++ b/usr/kinit/ipconfig/main.c
@@ -180,6 +180,8 @@ static int process_receive_event(struct state *s, time_t now)
 	switch (s->state) {
 	case DEVST_ERROR:
 		return 0; /* Not handled */
+	case DEVST_COMPLETE:
+		return 0; /* Not handled as already configured */
 
 	case DEVST_BOOTP:
 		s->restart_state = DEVST_BOOTP;
-- 
1.7.1