Oh, right. This was a remnant of when I was trying to use the `restart_server` code. Will remove. Thanks.