using pull request to fix ctrl-c error in dev server