1: <?php
2: /**
3: * ManiaLive - TrackMania dedicated server manager in PHP
4: *
5: * @copyright Copyright (c) 2009-2011 NADEO (http://www.nadeo.com)
6: * @license http://www.gnu.org/licenses/lgpl.html LGPL License 3
7: * @version $Revision: 314 $:
8: * @author $Author: martin.gwendal $:
9: * @date $Date: 2012-01-03 14:16:20 +0100 (mar., 03 janv. 2012) $:
10: */
11:
12: namespace ManiaLive\Threading;
13:
14: /**
15: * @author Florian Schnell
16: */
17: class Config extends \ManiaLib\Utils\Singleton
18: {
19: public $phpPath;
20: public $enabled = false;
21: public $busyTimeout = 20;
22: public $maxTries = 3;
23: public $sequentialTimeout = 1;
24:
25: function __construct()
26: {
27: if(stripos(PHP_OS, 'WIN') === 0)
28: $this->phpPath = 'php.exe';
29: else
30: $this->phpPath = '`which php`';
31: }
32: }
33:
34: ?>