harrah/xsbt — Issue #306: ExitHooks not called when shell is closed with Ctrl+D
Author: jrudolph
Created: 2011-12-16 11:19:30+00:00
State: open

I think that's because in `BuildinCommands.shell` the `Exit` command isn't added to the remaining command pipeline if the read line is null (= Ctrl+D).

Then again, shouldn't exit hooks be called all the time when the command pipeline runs out?