Fix for allowing hot restart while debugging