detect if a given port is used before installing a sandbox server

Registered by Giuseppe Maxia

The Sandbox does a good job of setting separate ports, by creating one from the version number + some variable factors.
But if two users on the same server install a sandbox on the same port, we get a conflict nonetheless.
It would be nice to detect if a port is used before installing a server.

Blueprint information

Status:
Complete
Approver:
Giuseppe Maxia
Priority:
Medium
Drafter:
Giuseppe Maxia
Direction:
Approved
Assignee:
Sandbox-developers
Definition:
Approved
Series goal:
Accepted for mysql-sandbox-3
Implementation:
Implemented
Milestone target:
None
Started by
Giuseppe Maxia
Completed by
Giuseppe Maxia

Related branches

Sprints

Whiteboard

Moved the port checking routines to MySQL::Sandbox module.
Added the --check_port function to low_level_make_sandbox. Now you can create a sandbox with the same version of an existing one. No conflicts. Simply a new port will be selected.
The group sandbox implement a check_base_port, which identifies a range of ports that will be used during the installation.

(?)

Work Items

Dependency tree

* Blueprints in grey have been implemented.

This blueprint contains Public information 
Everyone can see this information.

Subscribers

No subscribers.