Re: [PATCH] eth-multiplxer: Implement ds_device_close()

2017-09-22 Thread Joan Lledó
> Please confirm that eth-multiplexer does not die. It doesn't, see [1] > MIG_SERVER_DIED is generated by the mig-generated client stubs when the > replies message id does not matche the expected id, but > MACH_NOTIFY_SEND_ONCE. This message is generated by the kernel if a > send-once right is d

Re: [PATCH] eth-multiplxer: Implement ds_device_close()

2017-09-21 Thread Justus Winter
Hi :) "Joan Lledó" writes: > Hello, > > One difference between pfinet and lwip translators is that pfinet doesn't > delete interfaces (or I haven't found how to do it) while lwip does. For > instance, if one starts pfinet with: > > settrans -fga /servers/socket/2 /hurd/pfinet -i /dev/eth1 -a 1

Re: [PATCH] eth-multiplxer: Implement ds_device_close()

2017-09-20 Thread Joan Lledó
Ooops!! I forgot that! :) 2017-09-20 20:06 GMT+02:00 James Clarke : > On 20 Sep 2017, at 11:08, Joan Lledó wrote: >> >> --- >> eth-multiplexer/Makefile | 2 +- >> eth-multiplexer/device_impl.c | 5 + >> 2 files changed, 6 insertions(+), 1 deletion(-) >> >> diff --git a/eth-multiplexer/Make

Re: [PATCH] eth-multiplxer: Implement ds_device_close()

2017-09-20 Thread James Clarke
On 20 Sep 2017, at 11:08, Joan Lledó wrote: > > --- > eth-multiplexer/Makefile | 2 +- > eth-multiplexer/device_impl.c | 5 + > 2 files changed, 6 insertions(+), 1 deletion(-) > > diff --git a/eth-multiplexer/Makefile b/eth-multiplexer/Makefile > index cefa0abd..2b19de6d 100644 > --- a/et

[PATCH] eth-multiplxer: Implement ds_device_close()

2017-09-20 Thread Joan Lledó
--- eth-multiplexer/Makefile | 2 +- eth-multiplexer/device_impl.c | 5 + 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/eth-multiplexer/Makefile b/eth-multiplexer/Makefile index cefa0abd..2b19de6d 100644 --- a/eth-multiplexer/Makefile +++ b/eth-multiplexer/Makefile @@ -29,

[PATCH] eth-multiplxer: Implement ds_device_close()

2017-09-20 Thread Joan Lledó
Hello, One difference between pfinet and lwip translators is that pfinet doesn't delete interfaces (or I haven't found how to do it) while lwip does. For instance, if one starts pfinet with: settrans -fga /servers/socket/2 /hurd/pfinet -i /dev/eth1 -a 192.168.123.178 -m 255.255.255.0 -g 192.16