Fatal error: Uncaught mysqli_sql_exception: php_network_getaddresses: getaddrinfo for mysql failed: Try again in /opt/metapost/connection.php:15
Stack trace:
#0 /opt/metapost/connection.php(15): mysqli->__construct('mysql', 'metapost_user', Object(SensitiveParameterValue), 'metapost')
#1 /opt/metapost/head.php(46): include_once('/opt/metapost/c...')
#2 /opt/metapost/index.php(21): include_once('/opt/metapost/h...')
#3 {main}
thrown in /opt/metapost/connection.php on line 15