8000 Detect when coqtop crashes on start instead of hanging by whonore · Pull Request #205 · whonore/Coqtail · GitHub

More Web Proxy on the site http://driver.im/

Detect when coqtop crashes on start instead of hanging #205

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Merged

whonore merged 1 commit into master from hang-on-coqtop-error-fix

Apr 29, 2021

Owner

whonore commented

Related to #199. Doesn't solve the problem, but at least :CoqStart fails quickly and shows the error message from coqtop.


          Detect when coqtop crashes on start instead of hanging

5ae2f4f

whonore merged commit 0d12ed5 into master

whonore deleted the hang-on-coqtop-error-fix branch

April 29, 2021 12:16

Sign up 57ED for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

0