Make init.js script terminate -- Fix #27