DOMjudge/domjudge — pull request #132 by alexm (2014-05-07 15:53:38+00:00)
Title: add missing port and socket params before flags

Trying SSL support I found that the call to `mysql_real_connect` was 2 params short before *flags*. After this change both the judgedaemon and the domserver were able to connect to the mysql server via SSL.

See the [PHP manual](http://www.php.net/manual/en/mysqli.real-connect.php) details for confirmation.