summaryrefslogtreecommitdiff
path: root/exec/Makefile
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2014-01-28 23:58:34 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2014-01-28 23:58:34 +0100
commitd473f407e3b168490032905e60effa3cdbbc063e (patch)
treeb6ded2c3de1ddab185a24d544f378fec4ef6e2e0 /exec/Makefile
parente24381784b0a56896542d1a5828a77ad0e1c40ec (diff)
Also re-open Ethernet device on EMIG_SERVER_DIED
* pfinet/ethernet.c (ethernet_xmit): Also call ethernet_close then ethernet_open on EMIG_SERVER_DIED error.
Diffstat (limited to 'exec/Makefile')
0 files changed, 0 insertions, 0 deletions