Change Details
| src/Pluf.php |
| 39 | 39 | { |
| 40 | 40 | $GLOBALS['_PX_starttime'] = microtime(true); |
| 41 | 41 | $GLOBALS['_PX_uniqid'] = uniqid($GLOBALS['_PX_starttime'], true); |
| 42 | $GLOBALS['_PX_signal'] = array(); |
| 42 | 43 | Pluf::loadConfig($config); |
| 43 | 44 | date_default_timezone_set(Pluf::f('time_zone', 'Europe/Berlin')); |
| 44 | 45 | mb_internal_encoding(Pluf::f('encoding', 'UTF-8')); |
| src/Pluf/Signal.php |
| 57 | 57 | */ |
| 58 | 58 | public static function connect($signal, $who, $sender=null) |
| 59 | 59 | { |
| 60 | | if (!isset($GLOBALS['_PX_signal'])) { |
| 61 | | $GLOBALS['_PX_signal'] = array(); |
| 62 | | } |
| 63 | 60 | if (!isset($GLOBALS['_PX_signal'][$signal])) { |
| 64 | 61 | $GLOBALS['_PX_signal'][$signal] = array(); |
| 65 | 62 | } |
Download the corresponding diff file