| 208 # any results returned by the algorithm itself may be partial, as for |
208 # any results returned by the algorithm itself may be partial, as for |
| 209 # reasons of efficiency we do *not* store results of an iteration until |
209 # reasons of efficiency we do *not* store results of an iteration until |
| 210 # the next iteration is finished. |
210 # the next iteration is finished. |
| 211 printstyled("\rUser interrupt—finishing up.\n", bold=true, color=202) |
211 printstyled("\rUser interrupt—finishing up.\n", bold=true, color=202) |
| 212 else |
212 else |
| 213 throw(ex) |
213 rethrow(ex) |
| 214 end |
214 end |
| 215 end |
215 end |
| 216 |
216 |
| 217 return st |
217 return st |
| 218 end |
218 end |