Marco Baringer mb@bese.it writes:
Luke Gorrie luke@bluetail.com writes:
Taking the ABORT restart should give you a new prompt. This is a bug. I don't have access to OpenMCL currently so I can't check it out, but hopefully someone else can.
This is a bug in OpenMCL regarding with-simple-restart (which creates the ABORT restart).
Even in the latest version? The release notes 0.14.2 mention this bugfix:
Applying INVOKE-RESTART to a restart established by WITH-SIMPLE-RESTART didn't invoke the restart (fixed by Bryan O'Connor.)
-Luke