Checking for port used before starting server session
svandenb-dev opened this issue ยท 2 comments
svandenb-dev commented
๐ Description of the feature
Checking port in case server is already running when start_session is called
๐ก Steps for implementing the feature
No response
๐ Useful links and references
No response
hiro727 commented
need to add health check api and query against it to make sure the service on the specified port is indeed edb server
cc @drewm102
drewm102 commented
@chenchienjacklin As per our discussion today, we should modify the behavior of launch_session(...)
to be the following:
- If there is no active session and no server executable listening on the provided port, start the server executable and attach to it.
- If there is no active session and there is a server executable listening on the provided port, attach to it
- If a session already exists on the provided port, reuse it
- If a session already exists but it is on a different port than requested, throw an error