src/Visualise.jl

changeset 65
86707a701e2b
parent 60
dcfc38ade15b
equal deleted inserted replaced
64:ccbd8f5f1c34 65:86707a701e2b
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

mercurial