⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 search.php

📁 通达OA2007SE源代码 非常好的
💻 PHP
📖 第 1 页 / 共 4 页
字号:
<?
  function is_media1 ($fichier)
  {
    $retour = 0;
    if (eregi ((''.'\\.mp3$|\\.wma$|\\.wav$|\\.rm$|\\.rmvb$|\\.asf$|\\.wmv$|\\.avi$$'), $fichier))
    {
      $retour = 1;
    }
    return $retour;
  }
  function connecte ($id)
  {
    global $installurl;
    global $users;
    global $HTTP_REFERER;
    $retour = 0;
    if (($users == 0))
    {
      $retour = 1;
    }
    else
    {
      if (($id != ''))
      {
        if (file_exists ((((''.'logs/').$id).'.php')))
        {
          $retour = 1;
        }
        if (!eregi ((''.$installurl), $HTTP_REFERER))
        {
          $retour = 0;
        }
      }
    }
    return $retour;
  }
  function is_editable ($fichier)
  {
    $retour = 0;
    if (eregi ((''.'\\.txt$|\\.sql$|\\.php$|\\.jsp$|\\.asp$|\\.ini$|\\.phtml$|\\.htm$|\\.html$|\\.cgi$|\\.pl$|\\.js$|\\.css$|\\.inc$'), $fichier))
    {
      $retour = 1;
    }
    return $retour;
  }
  function creer_id ($chemin, $url, $user)
  {
    global $id;
    $taille = 20;
    $lettres = 'abcdefghijklmnopqrstuvwxyz0123456789';
    srand (time ());
    for ($i = 0; ($i < $taille); ++$i)
    {
      ($id .= substr ($lettres, (rand () % strlen ($lettres)), 1));
    }
    $fp = fopen ((((''.'logs/').$id).'.php'), 'w');
    if ($fp)
    {
      fputs ($fp, (((((((''.'<? $racine="').$chemin).'"; $url_racine="').$url).'"; $user="').$user).'"; ?>'));
      fclose ($fp);
    }
    else
    {
      exit ();
    }
  }
  function taille ($fichier)
  {
    global $size_unit;
    $taille = filesize ($fichier);
    if ((1073741824 <= $taille))
    {
      $taille = (((round ((($taille / 1073741824) * 100)) / 100).' G').$size_unit);
    }
    else
    {
      if ((1048576 <= $taille))
      {
        $taille = (((round ((($taille / 1048576) * 100)) / 100).' M').$size_unit);
      }
      else
      {
        if ((1024 <= $taille))
        {
          $taille = (((round ((($taille / 1024) * 100)) / 100).' K').$size_unit);
        }
        else
        {
          $taille = (($taille.' ').$size_unit);
        }
      }
    }
    if (($taille == 0))
    {
      $taille = '-';
    }
    return $taille;
  }
  function date_modif ($fichier)
  {
    $tmp = filemtime ($fichier);
    return date ('Y-m-d H:i:s', $tmp);
  }
  function mimetype ($fichier, $quoi)
  {
    global $mess;
    global $HTTP_USER_AGENT;
    if (!eregi ('MSIE', $HTTP_USER_AGENT))
    {
      $client = 'netscape.gif';
    }
    else
    {
      $client = 'html.gif';
    }
    if (is_dir ($fichier))
    {
      $image = 'dossier.gif';
      $nom_type = $mess[8];
    }
    else
    {
      if (eregi ((''.'\\.mid$'), $fichier))
      {
        $image = 'mid.gif';
        $nom_type = $mess[9];
      }
      else
      {
        if (eregi ((''.'\\.txt$'), $fichier))
        {
          $image = 'txt.gif';
          $nom_type = $mess[10];
        }
        else
        {
          if (eregi ((''.'\\.sql$'), $fichier))
          {
            $image = 'txt.gif';
            $nom_type = $mess[10];
          }
          else
          {
            if (eregi ((''.'\\.js$'), $fichier))
            {
              $image = 'js.gif';
              $nom_type = $mess[11];
            }
            else
            {
              if (eregi ((''.'\\.gif$'), $fichier))
              {
                $image = 'gif.gif';
                $nom_type = $mess[12];
              }
              else
              {
                if (eregi ((''.'\\.jpg$'), $fichier))
                {
                  $image = 'jpg.gif';
                  $nom_type = $mess[13];
                }
                else
                {
                  if (eregi ((''.'\\.html$'), $fichier))
                  {
                    $image = $client;
                    $nom_type = $mess[14];
                  }
                  else
                  {
                    if (eregi ((''.'\\.htm$'), $fichier))
                    {
                      $image = $client;
                      $nom_type = $mess[15];
                    }
                    else
                    {
                      if (eregi ((''.'\\.rar$'), $fichier))
                      {
                        $image = 'rar.gif';
                        $nom_type = $mess[60];
                      }
                      else
                      {
                        if (eregi ((''.'\\.gz$'), $fichier))
                        {
                          $image = 'zip.gif';
                          $nom_type = $mess[61];
                        }
                        else
                        {
                          if (eregi ((''.'\\.tgz$'), $fichier))
                          {
                            $image = 'zip.gif';
                            $nom_type = $mess[61];
                          }
                          else
                          {
                            if (eregi ((''.'\\.z$'), $fichier))
                            {
                              $image = 'zip.gif';
                              $nom_type = $mess[61];
                            }
                            else
                            {
                              if (eregi ((''.'\\.ra$'), $fichier))
                              {
                                $image = 'ram.gif';
                                $nom_type = $mess[16];
                              }
                              else
                              {
                                if (eregi ((''.'\\.ram$'), $fichier))
                                {
                                  $image = 'ram.gif';
                                  $nom_type = $mess[17];
                                }
                                else
                                {
                                  if (eregi ((''.'\\.rm$'), $fichier))
                                  {
                                    $image = 'ram.gif';
                                    $nom_type = $mess[17];
                                  }
                                  else
                                  {
                                    if (eregi ((''.'\\.pl$'), $fichier))
                                    {
                                      $image = 'pl.gif';
                                      $nom_type = $mess[18];
                                    }
                                    else
                                    {
                                      if (eregi ((''.'\\.zip$'), $fichier))
                                      {
                                        $image = 'zip.gif';
                                        $nom_type = $mess[19];
                                      }
                                      else
                                      {
                                        if (eregi ((''.'\\.wav$'), $fichier))
                                        {
                                          $image = 'wav.gif';
                                          $nom_type = $mess[20];
                                        }
                                        else
                                        {
                                          if (eregi ((''.'\\.php$'), $fichier))
                                          {
                                            $image = 'php.gif';
                                            $nom_type = $mess[22];
                                          }
                                          else
                                          {
                                            if (eregi ((''.'\\.phtml$'), $fichier))
                                            {
                                              $image = 'php.gif';
                                              $nom_type = $mess[22];
                                            }
                                            else
                                            {
                                              if (eregi ((''.'\\.exe$'), $fichier))
                                              {
                                                $image = 'exe.gif';
                                                $nom_type = $mess[50];
                                              }
                                              else
                                              {
                                                if (eregi ((''.'\\.bmp$'), $fichier))
                                                {
                                                  $image = 'bmp.gif';
                                                  $nom_type = $mess[56];
                                                }
                                                else
                                                {
                                                  if (eregi ((''.'\\.png$'), $fichier))
                                                  {
                                                    $image = 'gif.gif';
                                                    $nom_type = $mess[57];
                                                  }
                                                  else
                                                  {
                                                    if (eregi ((''.'\\.css$'), $fichier))
                                                    {
                                                      $image = 'css.gif';
                                                      $nom_type = $mess[58];
                                                    }
                                                    else
                                                    {
                                                      if (eregi ((''.'\\.mp3$'), $fichier))
                                                      {
                                                        $image = 'mp3.gif';
                                                        $nom_type = $mess[59];
                                                      }
                                                      else
                                                      {
                                                        if (eregi ((''.'\\.xls$'), $fichier))
                                                        {
                                                          $image = 'xls.gif';
                                                          $nom_type = $mess[64];
                                                        }
                                                        else
                                                        {
                                                          if (eregi ((''.'\\.doc$'), $fichier))
                                                          {
                                                            $image = 'doc.gif';
                                                            $nom_type = $mess[65];
                                                          }
                                                          else
                                                          {
                                                            if (eregi ((''.'\\.pdf$'), $fichier))
                                                            {
                                                              $image = 'pdf.gif';
                                                              $nom_type = $mess[79];
                                                            }
                                                            else
                                                            {
                                                              if (eregi ((''.'\\.mov$'), $fichier))
                                                              {
                                                                $image = 'mov.gif';
                                                                $nom_type = $mess[80];
                                                              }
                                                              else
                                                              {
                                                                if (eregi ((''.'\\.avi$'), $fichier))
                                                                {
                                                                  $image = 'avi.gif';
                                                                  $nom_type = $mess[81];
                                                                }
                                                                else
                                                                {
                                                                  if (eregi ((''.'\\.mpg$'), $fichier))
                                                                  {
                                                                    $image = 'mpg.gif';
                                                                    $nom_type = $mess[82];
                                                                  }
                                                                  else
                                                                  {
                                                                    if (eregi ((''.'\\.mpeg$'), $fichier))
                                                                    {
                                                                      $image = 'mpeg.gif';
                                                                      $nom_type = $mess[83];
                                                                    }
                                                                    else
                                                                    {
                                                                      if (eregi ((''.'\\.swf$'), $fichier))
                                                                      {
                                                                        $image = 'flash.gif';
                                                                        $nom_type = $mess[91];
                                                                      }
                                                                      else
                                                                      {
                                                                        $image = 'defaut.gif';
                                                                        $nom_type = $mess[23];
                                                                      }
                                                                    }
                                                                  }
                                                                }
                                                              }
                                                            }
                                                          }
                                                        }
                                                      }
                                                    }
                                                  }
                                                }
                                              }
                                            }
                                          }
                                        }
                                      }
                                    }
                                  }
                                }
                              }
                            }
                          }
                        }
                      }
                    }
                  }
                }
              }
            }
          }
        }
      }
    }
    if (($quoi == 'image'))
    {
      return $image;
    }
    else
    {
      return $nom_type;
    }
  }
  function init ($rep)
  {
    global $racine;
    global $sens;
    global $mess;
    global $font;
    global $DISK_ID;
    if (($rep == ''))
    {
      $nom_rep = $racine;
    }
    if (($sens == ''))
    {
      $sens = 1;
    }
    else
    {
      if (($sens == 1))
      {
        $sens = 0;
      }
      else
      {
        $sens = 1;
      }
    }
    if (($rep != ''))
    {
      $nom_rep = (((''.$racine).'/').$rep);
    }
    if (!file_exists ($racine))
    {
      echo ((((''.$mess['72']).'<br><br><a href="netdisk.php"><span class=Big1>').$mess['32']).'</span></a>
');
      exit ();
    }
    if (!is_dir ($nom_rep))
    {
      echo ((((''.$mess['76']).'<br><br><a href="javascript:window.history.back()"><span class=Big1>').$mess['32']).'</span></a>
');
      exit ();
    }
    return $nom_rep;
  }
  function assemble_tableaux ($t1, $t2)
  {
    global $sens;
    if (($sens == 0))
    {
      $tab1 = $t1;
      $tab2 = $t2;
    }
    else
    {
      $tab1 = $t2;
      $tab2 = $t1;
    }
    if (is_array ($tab1))
    {
      while (list ($cle, $val) = each ($tab1))
      {
        $liste[$cle] = $val;
      }
    }
    if (is_array ($tab2))
    {
      while (list ($cle, $val) = each ($tab2))
      {

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -