@@ -9,13 +9,13 @@ DJ_BRANCH: master
99
1010# URL and IP of domserver from judgehosts. A hostname 'domserver' with
1111# DOMSERVER_IP will be added to the judgehost /etc/hosts file.
12- DOMSERVER : https://domjudge
13- DOMSERVER_IP : 10.3.3.215
12+ DOMSERVER : https://dj.storm.vu
13+ DOMSERVER_IP : 130.37.193.150
1414DOMSERVER_URL : " {{DOMSERVER}}"
15- DOMSERVER_SSL_CERT : /etc/ssl/certs/domserver .crt
16- DOMSERVER_SSL_KEY : /etc/ssl/private/domserver .key
15+ DOMSERVER_SSL_CERT : /etc/ssl/certs/localhost .crt
16+ DOMSERVER_SSL_KEY : /etc/ssl/private/localhost .key
1717
18- TIMEZONE : " Europe/Moscow "
18+ TIMEZONE : " Europe/Amsterdam "
1919
2020PHP_FPM_MAX_CHILDREN : 400
2121PHP_FPM_MAX_REQUESTS : 500
@@ -26,7 +26,7 @@ PHP_MAX_FILE_UPLOADS: 101
2626
2727# Password for the MySQL replication user.
2828# Set this to enable master-master replication between two domservers.
29- REPLICATION_PASSWORD : some-replication-password
29+ # REPLICATION_PASSWORD: some-replication-password
3030
3131# Password for the collectd MySQL status user.
3232# Set this to enable collectd for system statistics collection.
@@ -46,15 +46,15 @@ ADMIN_PASSWORD: some-admin-password
4646# DJ_SHELL_USER_PW: some-hashed-password
4747
4848# Git repo URL
49- DJ_GIT_REPO : domjudge@10.3.3.223: domjudge
49+ DJ_GIT_REPO : https://github.com/DOMjudge/ domjudge.git
5050
5151# If using a Git repo which requires a SSH key, set the host and key here
52- DJ_GIT_HOST : 10.3.3.223
53- DJ_GIT_SSH_KEY : |
54- -----BEGIN OPENSSH PRIVATE KEY-----
55- ENTER SSH PRIVATE KEY HERE
56- -----END OPENSSH PRIVATE KEY-----
52+ DJ_GIT_HOST : github.com
53+ # DJ_GIT_SSH_KEY: |
54+ # -----BEGIN OPENSSH PRIVATE KEY-----
55+ # ENTER SSH PRIVATE KEY HERE
56+ # -----END OPENSSH PRIVATE KEY-----
5757
5858
5959# Key for domjudge user
60- DJ_SSH_KEY : ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIPsTOPgh8QYBudu7IOLETq4ek13RBB+pM/spOboCK1wO domjudge@domjudge-ccsadmin1
60+ DJ_SSH_KEY : ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIAe/eK/AmBHx4cEvvmb+HBg/h9aptCvHfv9sxkdvTr07 vmcj@lenovo
0 commit comments