tree 8cda3392f8375cf4fa50a2a559e2d5aa2d9976de
parent 3923013b815670bc03591dadccc00311a3e00d33
author Michael Richards <msrichards@google.com> 1660682682 +0000
committer Commit Bot <commit-bot@chromium.org> 1660682682 +0000

[frontend_server] These changes ensure that only 1 resident_frontend_server is running when multiple entities request to start the compilation server. Only 1 server is allowed to exist per server information file. Multiple resident_frontend_servers may exist if the user passes in different files each time a server is spawned.

Change-Id: I5cd0eceb391f6a289318c17e74069b63ff37126c
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/254800
Reviewed-by: Siva Annamalai <asiva@google.com>
Reviewed-by: Alexander Aprelev <aam@google.com>
Commit-Queue: Michael Richards <msrichards@google.com>