mirror of
https://github.com/ChristianLight/tutor.git
synced 2025-01-24 14:08:23 +00:00
6d532be635
We explicitely set the MySQL connection port, even if it is the default one. I don't think this solves anything, but it's a good idea to set the port explicitely, generally speaking.