2010-07-20 14:03:54 +00:00
|
|
|
<?php
|
|
|
|
|
|
2011-03-14 19:16:40 +00:00
|
|
|
if (!$os)
|
|
|
|
|
{
|
2010-07-20 14:03:54 +00:00
|
|
|
if (preg_match("/^Prestige \d/", $sysDescr)) { $os = "prestige"; }
|
|
|
|
|
else if (preg_match("/^P-.*-/", $sysDescr)) { $os = "prestige"; }
|
|
|
|
|
}
|
|
|
|
|
|
2011-03-14 19:16:40 +00:00
|
|
|
?>
|
