diff options
| author | knut <> | 2008-07-30 01:43:12 +0000 |
|---|---|---|
| committer | knut <> | 2008-07-30 01:43:12 +0000 |
| commit | 411fbb72f5a4c72e43af08ee403c79c73eb4b53f (patch) | |
| tree | 3915b0d98ca3c0608b56ad280cb08b8837a43dea /framework/prado-cli.php | |
| parent | d15b608ef693c8dbc92c3a5f5ae826ca2812a61f (diff) | |
fixed #890
Diffstat (limited to 'framework/prado-cli.php')
| -rwxr-xr-x | framework/prado-cli.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/framework/prado-cli.php b/framework/prado-cli.php index 18efb651..4fa8e1fb 100755 --- a/framework/prado-cli.php +++ b/framework/prado-cli.php @@ -79,7 +79,7 @@ class PradoCommandLineInterpreter public static function getInstance() { static $instance; - if(is_null($instance)) + if($instance === null) $instance = new self; return $instance; } |