Site Owner - Revision history

Rich: /* Version Update */ added Making The Session Timeout In auth.php Actually Work

2017-10-14T15:23:06Z

Version Update: added Making The Session Timeout In auth.php Actually Work

← Older revision		Revision as of 15:23, 14 October 2017
Line 23:		Line 23:
	== Version Update ==		== Version Update ==
	Follow the instructions in [[How_To_Update_a_BOARD18_WEB_Site\|this How To document]] to update an existing BOARD18 website on your server to a new release of BOARD18.		Follow the instructions in [[How_To_Update_a_BOARD18_WEB_Site\|this How To document]] to update an existing BOARD18 website on your server to a new release of BOARD18.

			== Making The Session Timeout In '''auth.php''' Actually Work ==
			=== Timing Out A PHP Session ===
			If a player is not signed on or is inactive for an excessive period;
			then the auth.php module, which is included at the start of all
			password protected code, will terminate the players access.

			Being very liberal, the current implementation of auth.php defines
			"an excessive period" as over 24 hours. This is done as follows:
			<pre>
			session_start();
			if (isset($_SESSION['LAST_ACTIVITY']) &&
			(time() - $_SESSION['LAST_ACTIVITY'] > 86400)) { // 1 day
			// last request was more than one day ago
			session_unset(); // unset $_SESSION variable for the run-time
			session_destroy(); // destroy session data in storage
			}
			$_SESSION['LAST_ACTIVITY'] = time(); // update last activity time stamp
			</pre>

			=== Making It Actually Work ===
			Unfortunatly this liberal amount of time can be overridden by a PHP
			built in facility called garbage collection. The way this works is complex
			and somewhat random. For more on this you can reference
			[http://stackoverflow.com/questions/520237/how-do-i-expire-a-php-session-after-30-minutes/1270960#1270960 this discussion].
			Suffice it to say that two php.ini settings must be altered to
			overcome this problem. They are
			[http://php.net/manual/en/session.configuration.php#ini.session.gc-maxlifetime session.gc_maxlifetime]
			and [http://php.net/manual/en/session.configuration.php#ini.session.save-path session.save.path].
			The third and fourth lines in the following listing can be used as an example of this.
			<pre>
			[server]$ more /home/priceweb/.php/5.4/phprc
			log_errors = 1
			error_log = /home/priceweb/php.log
			session.gc_maxlifetime = 86400
			session.save.path = /home/priceweb/bd18sessions
			[server]$
			</pre>
			The number of seconds specified in session.gc_maxlifetime must be at least as large as that specified in auth.php.

			The directory specified in session.save.path will be used to save all session data. This normally defaults to /temp but
			making it unique stops the session.gc_maxlifetime value from being overridden by another process using the same temp directory.

			Finally, DO NOT change session.cookie_lifetime from its default value of 0! If the player closes the browser then we wish the session to be terminated regardless of time. A session.cookie_lifetime of 0 will make this so.

	{{:Developer.Guidelines}}		{{:Developer.Guidelines}}

Rich: added developer guidelines

2017-03-26T17:59:12Z

added developer guidelines

← Older revision		Revision as of 17:59, 26 March 2017
Line 1:		Line 1:
	~~__NOTOC__~~
	{{ReleaseNotice\|2.4}}		{{ReleaseNotice\|2.4}}
	== Introduction ==		== Introduction ==
Line 7:		Line 6:
	If you wish to install BOARD18 on your server, you will have to follow the manual instructions in the How To documents referred to on this page.<br>		If you wish to install BOARD18 on your server, you will have to follow the manual instructions in the How To documents referred to on this page.<br>
	On the other hand, BOARD18 does have two ways to auto install game boxes. See below for details.		On the other hand, BOARD18 does have two ways to auto install game boxes. See below for details.

			The developer guidelines added to the end of this page may also be of interest to you.

	== Initial Install ==		== Initial Install ==
Line 22:		Line 23:
	== Version Update ==		== Version Update ==
	Follow the instructions in [[How_To_Update_a_BOARD18_WEB_Site\|this How To document]] to update an existing BOARD18 website on your server to a new release of BOARD18.		Follow the instructions in [[How_To_Update_a_BOARD18_WEB_Site\|this How To document]] to update an existing BOARD18 website on your server to a new release of BOARD18.

			{{:Developer.Guidelines}}

Rich: /* Introduction */

2017-03-26T17:45:57Z

Introduction

← Older revision		Revision as of 17:45, 26 March 2017
Line 5:		Line 5:
	BOARD18 does not [yet] have any code packaging or auto install facilities.		BOARD18 does not [yet] have any code packaging or auto install facilities.
	<br>		<br>
	If you wish to install BOARD18 on your server, you will have to follow the manual instructions referred to on this page.<br>		If you wish to install BOARD18 on your server, you will have to follow the manual instructions in the How To documents referred to on this page.<br>
	On the other hand, BOARD18 does have two ways to auto install game boxes. See below for details.		On the other hand, BOARD18 does have two ways to auto install game boxes. See below for details.

Rich: Created game box section

2017-03-26T17:43:02Z

Created game box section

← Older revision		Revision as of 17:43, 26 March 2017
Line 6:		Line 6:
	<br>		<br>
	If you wish to install BOARD18 on your server, you will have to follow the manual instructions referred to on this page.<br>		If you wish to install BOARD18 on your server, you will have to follow the manual instructions referred to on this page.<br>
	~~<p style="color: Green">To install~~ BOARD18 ~~you must~~ have ~~shell access~~ to ~~a server environment that is running Apache with PHP version 5.3 or later and MySQL version 5~~.~~5 or later~~.~~</p>~~		On the other hand, BOARD18 does have two ways to auto install game boxes. See below for details.

	== Initial Install ==		== Initial Install ==
Line 12:		Line 12:

	== Adding Game Boxes ==		== Adding Game Boxes ==
	~~<span style="color: Fuchsia">~~To ~~be added later~~.~~</span>~~		Follow the instructions in
			[[How_To_Load_Board18_Game_Boxes#How_to_mass_load_BOARD18_game_boxes_using_Linux\|this How To document]]
			to mass download BOARD18 game boxes into a newly installed BOARD18.

			Follow the instructions in
			[[How_To_Load_Board18_Game_Boxes#How_to_load_new_BOARD18_game_boxes_using_the_Administration_-_Load_Game_Box_feature\|this How To document]]
			to download individual BOARD18 game boxes into an existing BOARD18.

	== Version Update ==		== Version Update ==
	Follow the instructions in [[How_To_Update_a_BOARD18_WEB_Site\|this How To document]] to update an existing BOARD18 website on your server.		Follow the instructions in [[How_To_Update_a_BOARD18_WEB_Site\|this How To document]] to update an existing BOARD18 website on your server to a new release of BOARD18.


	~~{{Stub}}~~

Rich: initial contents

2017-03-26T16:06:25Z

initial contents

New page

__NOTOC__
{{ReleaseNotice|2.4}}
== Introduction ==

BOARD18 does not [yet] have any code packaging or auto install facilities.
 
If you wish to install BOARD18 on your server, you will have to follow the manual instructions referred to on this page. 
To install BOARD18 you must have shell access to a server environment that is running Apache with PHP version 5.3 or later and MySQL version 5.5 or later.

== Initial Install ==
Follow the instructions in [[How_To_Create_a_BOARD18_WEB_Site|this How To document]] to download BOARD18 and install it on your server.

== Adding Game Boxes ==
To be added later.

== Version Update ==
Follow the instructions in [[How_To_Update_a_BOARD18_WEB_Site|this How To document]] to update an existing BOARD18 website on your server.

{{Stub}}