Rev 71 | Only display areas with differences | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 71 | Rev 78 | ||
---|---|---|---|
1 | #! /bin/sh /usr/share/dpatch/dpatch-run |
1 | #! /bin/sh /usr/share/dpatch/dpatch-run |
2 | ## terminate_on_connection_failure.dpatch by Magnus Holmgren <holmgren@debian.org> |
2 | ## terminate_on_connection_failure.dpatch by Magnus Holmgren <holmgren@debian.org> |
3 | ## |
3 | ## |
4 | ## DP: Call exit() in lsh's default exception handler on EXC_IO_CONNECT; otherwise |
4 | ## DP: Call exit() in lsh's default exception handler on EXC_IO_CONNECT; otherwise |
5 | ## DP: lsh won't terminate. |
5 | ## DP: lsh won't terminate. |
6 | 6 | ||
7 | @DPATCH@ |
7 | @DPATCH@ |
8 | diff -urNad trunk~/src/lsh.c trunk/src/lsh.c |
8 | diff -urNad trunk~/src/lsh.c trunk/src/lsh.c |
9 | --- trunk~/src/lsh.c 2005-03-16 21:06:23.000000000 +0100 |
9 | --- trunk~/src/lsh.c 2005-03-16 21:06:23.000000000 +0100 |
10 | +++ trunk/src/lsh.c 2010-01-09 22:32:51.000000000 +0100 |
10 | +++ trunk/src/lsh.c 2010-01-09 22:32:51.000000000 +0100 |
11 | @@ -959,6 +959,8 @@ |
11 | @@ -959,6 +959,8 @@ |
12 | *self->status = EXIT_FAILURE; |
12 | *self->status = EXIT_FAILURE; |
13 | 13 | ||
14 | werror("%z, (errno = %i)\n", e->msg, exc->error); |
14 | werror("%z, (errno = %i)\n", e->msg, exc->error); |
15 | + if (e->type == EXC_IO_CONNECT) |
15 | + if (e->type == EXC_IO_CONNECT) |
16 | + exit(*self->status); |
16 | + exit(*self->status); |
17 | } |
17 | } |
18 | else |
18 | else |
19 | switch(e->type) |
19 | switch(e->type) |