|  | @@ 961-963 (lines=3) @@ | 
                                                            
                                    | 958 |  |                     } | 
                                                            
                                    | 959 |  |                 } elseif (isset($distro['Distributor ID']) && ($distro['Distributor ID'] != "n/a")) { | 
                                                            
                                    | 960 |  |                     $this->sys->setDistribution($distro['Distributor ID']); | 
                                                            
                                    | 961 |  |                     if (isset($distro['Release']) && ($distro['Release'] != "n/a")) { | 
                                                            
                                    | 962 |  |                         $this->sys->setDistribution($this->sys->getDistribution()." ".$distro['Release']); | 
                                                            
                                    | 963 |  |                     } | 
                                                            
                                    | 964 |  |                     if (isset($distro['Codename']) && ($distro['Codename'] != "n/a")) { | 
                                                            
                                    | 965 |  |                         $this->sys->setDistribution($this->sys->getDistribution()." (".$distro['Codename'].")"); | 
                                                            
                                    | 966 |  |                     } | 
                                                                                
                                |  | @@ 964-966 (lines=3) @@ | 
                                                            
                                    | 961 |  |                     if (isset($distro['Release']) && ($distro['Release'] != "n/a")) { | 
                                                            
                                    | 962 |  |                         $this->sys->setDistribution($this->sys->getDistribution()." ".$distro['Release']); | 
                                                            
                                    | 963 |  |                     } | 
                                                            
                                    | 964 |  |                     if (isset($distro['Codename']) && ($distro['Codename'] != "n/a")) { | 
                                                            
                                    | 965 |  |                         $this->sys->setDistribution($this->sys->getDistribution()." (".$distro['Codename'].")"); | 
                                                            
                                    | 966 |  |                     } | 
                                                            
                                    | 967 |  |                 } | 
                                                            
                                    | 968 |  |                 if (isset($distro['Distributor ID']) && ($distro['Distributor ID'] != "n/a") && isset($list[$distro['Distributor ID']]['Image'])) { | 
                                                            
                                    | 969 |  |                     $this->sys->setDistributionIcon($list[$distro['Distributor ID']]['Image']); |