+# session.save_path doesn't *have* to be set, but if it is, and it's
+# not valid/writable/etc. then it can cause problems
+$sessionSavePath = ini_get( 'session.save_path' );
+# Warn the user if it's not set, but let them proceed
+if( !$sessionSavePath ) {
+ print "<li><strong>Warning:</strong> A value for <tt>session.save_path</tt>
+ has not been set in PHP.ini. If the default value causes problems with
+ saving session data, set it to a valid path which is read/write/execute
+ for the user your web server is running under.</li>";
+} elseif ( is_dir( $sessionSavePath ) && is_writable( $sessionSavePath ) ) {
+ # All good? Let the user know
+ print "<li>Session save path appears to be valid.</li>";
+} else {
+ # Something not right? Halt the installation so the user can fix it up
+ dieout( "Your session save path appears to be invalid or is not writable.
+ PHP needs to be able to save data to this location in order for correct
+ session operation. Please check that <tt>session.save_path</tt> in
+ <tt>PHP.ini</tt> points to a valid path, and is read/write/execute for
+ the user your web server is running under." );
+}
+
+# Check for PCRE support