diff options
Diffstat (limited to 'gdb/29k-share')
| -rw-r--r-- | gdb/29k-share/udi/udip2soc.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gdb/29k-share/udi/udip2soc.c b/gdb/29k-share/udi/udip2soc.c index ff2d3439f91..cadc074ff84 100644 --- a/gdb/29k-share/udi/udip2soc.c +++ b/gdb/29k-share/udi/udip2soc.c @@ -462,6 +462,8 @@ UDIBool Terminate; sprintf(dfe_errmsg, "DFE-ipc WARNING: socket shutdown failed"); return UDIErrorIPCInternal; } + else + session[Session].soc_con_p->in_use = 0; udrs->udr_op = UDR_DECODE; /* receive all "out" parameters */ udr_UDIError(udrs, &dfe_errno); /* get any TIP error */ @@ -501,6 +503,8 @@ UDIInt32 Signal; sprintf(dfe_errmsg, "DFE-ipc WARNING: socket shutdown failed"); return UDIErrorIPCInternal; } + else + session[Session].soc_con_p->in_use = 0; udrs->udr_op = UDR_DECODE; /* receive all "out" parameters */ udr_UDIError(udrs, &dfe_errno); /* get any TIP error */ |