MySQL Custom Port Support

[jfranzb]

Although Seafile itself supports having the database on a seperate port than 3306 the start.py script calls the function wait_for_mysql which checks for the database on port 3306.

seafile-docker/scripts/utils/__init__.py

Line 268 in d2a5781

def wait_for_mysql():

that traps the server in an endless loop if the database server runs on 3307.

Is it possible to change the start.py script so that one can disable the wait_for_mysql or even better make the function get the port via an environment variable?

I know this repo is meant for a compose setup with a db container that runs maria on 3306 but it would be nice to allow the seafile server to use an external db running on a non default port.