Add exception handling for is_active_server. Close #1082#1083

oscarlevin merged 1 commit intoPreTeXtBook:mainPreTeXtBook/pretext-cli:mainfrom

skiadas:mainskiadas/pretext-cli:mainCopy head branch name to clipboard