Marc Durdin 45f97988cf fix(developer): reduce timeouts if server shut down ... If Server is shut down, Keyman Developer now handles this better and offers to restart it in UI interactions, and backs out quietly in non-UI processes.		2022-07-14 16:28:39 +10:00
..
src	fix(developer): reduce timeouts if server shut down	2022-07-14 16:28:39 +10:00
.gitignore	chore(developer): move server with no changes	2022-05-23 12:15:34 +10:00