Server restart should not trigger browser reload. When you work on the server side, you don't want the browser to refresh all the time.