Different settings.php files for different kind of servers.