S2OJ/web/.htaccess

Options -Indexes

php_value session.save_path /var/lib/php/uoj_sessions
php_value session.gc_maxlifetime 172800
php_value session.cookie_lifetime 31536000

php_value post_max_size 1000M
php_value upload_max_filesize 1000M

php_value session.gc_probability 1
php_value session.gc_divisor 1000

php_value date.timezone 'Asia/Shanghai'

DirectorySlash Off

DirectoryIndex

RewriteEngine On

RewriteCond %{QUERY_STRING} ^$
RewriteRule ^(.*)/$ /$1 [L,R=301]

RewriteCond %{REQUEST_FILENAME} !-f
RewriteRule ^ index.php [L]
Initial commit 2016-07-18 16:39:37 +00:00			`Options -Indexes`

feat(install/bundle): install script adapt to Ubuntu 18.04 Update base system to Ubuntu 18.04. .htaccess file's session path changed correctly. Add gnupg install choice, due to base system has no gpg support. Set DEBIAN_FRONTEND to noninteractive in order to prevent tzdata stuck. Change Dockerfile's verion and buanch checkout method, in order to save space. Fix mysql conf when not restart service and the database can't import judger info. Change install.sh, support PHP7.2, update libv8 repo to artful, with missing php-mbstring. The old JDK distfile mirrors are deprecated, changed to official.sed modded to get the latest jdk8. BREAKING CHANGE: Ubuntu 14/16 users shouln't execute this script, due to config files and packages not the same. 2018-09-20 14:05:15 +00:00			`php_value session.save_path /var/lib/php/uoj_sessions`
Initial commit 2016-07-18 16:39:37 +00:00			`php_value session.gc_maxlifetime 172800`
			`php_value session.cookie_lifetime 31536000`

Initial commit for PHP7 This is the commit before changing environment to PHP7. 2017-11-25 04:00:00 +00:00			`php_value post_max_size 1000M`
			`php_value upload_max_filesize 1000M`
Initial commit 2016-07-18 16:39:37 +00:00
			`php_value session.gc_probability 1`
			`php_value session.gc_divisor 1000`

fix(uoj/1): change server time's timezone that always set to UTC Since PHP 5.1.0 (when the date/time functions were rewritten), we need to specify the default timezone. Otherwise the timezone will always set to UTC that may cause problem or cause confusion. We set the default timezone to Asia/Shanghai. If you are not at the area of this timezone, you can change it manually. 2018-10-11 15:36:26 +00:00			`php_value date.timezone 'Asia/Shanghai'`

Initial commit 2016-07-18 16:39:37 +00:00			`DirectorySlash Off`

			`DirectoryIndex`

			`RewriteEngine On`

			`RewriteCond %{QUERY_STRING} ^$`
			`RewriteRule ^(.*)/$ /$1 [L,R=301]`

			`RewriteCond %{REQUEST_FILENAME} !-f`
			`RewriteRule ^ index.php [L]`