Bug #1095
Updated by John Abbott over 6 years ago
I had hoped to use the "time out" feature in a loop similar to this:
<pre>
for i := 1 to 1000 do
I := RandomIdeal(...);
try
GB := GBasisTimeout(I, 5.0);
UponError E do /*nothing*/
EndTry;
...
endfor;
</pre>
Unfortunately as currently implemented the "time out" causes an interrupt (like Ctrl-C) rather than a normal error; so control leaves the *try* block whole loop whenever a time out occurs...
Discuss; fix.
<pre>
for i := 1 to 1000 do
I := RandomIdeal(...);
try
GB := GBasisTimeout(I, 5.0);
UponError E do /*nothing*/
EndTry;
...
endfor;
</pre>
Unfortunately as currently implemented the "time out" causes an interrupt (like Ctrl-C) rather than a normal error; so control leaves the *try* block whole loop whenever a time out occurs...
Discuss; fix.