144145146147148149150151152153154
prcr = prcs.occupyOrNew(); tis = new TimeoutInputStream(prcr); tis.setTimeout(getTimeout(cntx)); tis.startReadSource(is); //*/ msg = msg.receiveMsg(is, msg); /* } finally { prcs.free(prcr); } //*/ //{C06}