Marc Durdin 671b1baf6e fix(developer): prevent simultaneous opening of the same project by two processes ... There is a race condition where two processes may both attempt to open the same project file. This appears to happen, for example, if an author double-clicks on a single-click shortcut, launching Keyman Developer twice in quick succession. This fix adds a .lock file which is deleted automatically on close of the project or on normal or abnormal process termination. If a second process encounters the .lock file, it will simply open the welcome view instead of attempting to open the project. Fixes: #11584 Fixes: KEYMAN-DEVELOPER-1PR		2025-02-24 18:14:00 +01:00
..
config	feat(developer): add api-extractor and api-documenter and config	2024-02-26 11:37:32 +07:00
docs	chore: Revert "Merge branch 'master' into beta"	2025-02-14 07:45:28 +07:00
src	fix(developer): prevent simultaneous opening of the same project by two processes	2025-02-24 18:14:00 +01:00
.gitignore	chore(developer): move server with no changes	2022-05-23 12:15:34 +10:00
build.sh	chore(developer): use builder.inc.sh instead of build-utils.sh in build scripts	2024-05-20 06:34:46 +07:00