master Spring was not shut down correctly

This was only doing singular tests of spring; it would shut
down the toolset/run-tests script and leave spring running.