id	summary	reporter	owner	description	type	status	priority	milestone	component	version	severity	resolution	keywords	cc
1430	Interrupción de procesos TOL	Víctor de Buen Remiro	Víctor de Buen Remiro	"A veces nos damos cuenta de que hemos escrito algo mal en TOL después de haber lanzado ya la evaluación del código y queremos parar el proceso sin perder los cálculos hechos previamente.

Si el proceso lanzado implica ciertos tipos  de ciclos ({{{For}}}, {{{EvalSet}}}, ...) que no escriben nada en la salida estándar, o lo hemos lanzado con {{{tolcon}}} o {{{tol.exe}}}, entonces no se capturan los eventos {{{ctrl-k}}} o bien no tienen efecto, por lo que  no hay forma de parar el proceso sin abortar la sesión de TOL.

Debería rediseñarse el sistema de parada de evaluación TOL mediante el uso de interrupciones C++ que permitan el control de eventos cada cierto periodo de tiempo, alrededor de un segundo o una décima de segundo."	task	new	high	Mantainance	Kernel	2.0.1	major