     $pluginname = $_GET["plugin"];
     $plugin =& $plugins[$pluginname];
     $application =& $applications[$plugin["application"]];
     if ( $plugin ) \{
       $platform = $_GET["platform"];
       if ( $platform && file_exists( $platform . "/" . $plugin["filename"] ) ) \{
         $plugin["filename"] = $platform . "/" . $plugin["filename"];
       \}
       elseif ( !file_exists( $plugin["filename"] ) ) \{
         $plugin = false;
       \}
     \}
