diff options
| -rw-r--r-- | pfinet/ethernet.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pfinet/ethernet.c b/pfinet/ethernet.c index 74c1a08a..3b0d27b5 100644 --- a/pfinet/ethernet.c +++ b/pfinet/ethernet.c @@ -259,7 +259,7 @@ ethernet_xmit (struct sk_buff *skb, struct device *dev) { tried++; err = device_write (edev->ether_port, D_NOWAIT, 0, skb->data, skb->len, &count); - if (err == EMACH_SEND_INVALID_DEST) + if (err == EMACH_SEND_INVALID_DEST || err == EMIG_SERVER_DIED) { /* Device probably just died, try to reopen it. */ |