Re: PPP Port: Cannot set gateway address

[Roland McGrath]

> Woops. Here is the message from the error () call:
> 
> ./ppp: /servers/socket/2: --gateway=10.0.0.2: (ipc/mig) server died

Ah.  That would seem to indicate that pfinet died.  Please try doing the
same sequence of fsys_set_options calls by hand using fsysopts on
/servers/socket/2 and see if you get the same results.  If so, we can debug
pfinet using just fsysopts as the test case.  If not, then your code is not
doing the same thing we think it is, and we should figure out what it is
doing differently.  (If it does something different that causes pfinet to
crash, we should still fix pfinet so it won't crash, of course.)