Distributed Session Manager: Manage sessions using distributed MySQL servers

This class can be used as a replacement to the default PHP session manager class to store and retrieve sessions in distributed MySQL servers.

The class retrieves a list of MySQL server hosts from a configuration file in the INI format.

A random host is picked from the list to connect when it is necessary execute MySQL queries to store, retrieve, update or delete session data.

The MySQL server host connection timeout is set to a configurable value, so the class can skip a busy server and try connecting the next host in the list.

The session data may be stored on multiple servers at once to provide greater redundancy.