LS-Lab / KeYmaeraX-release

KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
http://keymaeraX.org/
GNU General Public License v2.0
77 stars 39 forks source link

KeyMaeraX not Loading #107

Closed umerhuzaifa closed 2 years ago

umerhuzaifa commented 2 years ago

Lately, I am seeing a pop up stating:

"A lock file exists but nothing is bound to the KeYmaera X web server's port. Deleting the lock file and starting KeYmaera X. If you experience errors, try killing all instances of KeYmaera X from your system's task manager."

On pressing okay, the progress bar hangs at 'Connecting to Arithmetic Tools' and never finishes. On checking the webpage https://127.0.0.1:8090 as well, nothing shows for KeYmaera X.

On checking the task manager, I only find Java Binary processes.

umerhuzaifa commented 2 years ago

Update: I am successful if I delete the folder .keymaerax from my home directory. But since it is created automatically on every run, this is a perpetual issue.

umerhuzaifa commented 2 years ago

Found this issue addressed in the startup issues.