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

📄 utility_all.php

📁 通达OA最重要的函数库
💻 PHP
📖 第 1 页 / 共 4 页
字号:
    else
    {
      return false;
    }

  }

  function maskstr ($STR, $FIRST, $LAST)
  {
    if ((!is_numeric ($FIRST) OR !is_numeric ($LAST)))
    {
      return null;
    }

    if (strlen ($STR) <= $FIRST + $LAST)
    {
      return $STR;
    }

    $RETURN_STR = substr ($STR, 0, $FIRST);
    for ($I = 0; $I < strlen (substr ($STR, $FIRST, 0 - $LAST)); ++$I)
    {
      $RETURN_STR .= '*';
    }

    $RETURN_STR .= substr ($STR, 0 - $LAST);
    return $RETURN_STR;
  }

  function add_log ($TYPE, $REMARK, $OPERATOR)
  {
    global $connection;
    $CUR_TIME = date ('Y-m-d H:i:s', time ());
    $USER_IP = get_client_ip ();
    if ((($TYPE == 3 OR $TYPE == 4) OR $TYPE == 5))
    {
      $query = '' . 'SELECT * from DEPARTMENT where DEPT_ID=\'' . $REMARK . '\'';
      $cursor = exequery ($connection, $query);
      if ($ROW = mysql_fetch_array ($cursor))
      {
        $DEPT_ID = $ROW['DEPT_ID'];
        $DEPT_NAME = $ROW['DEPT_NAME'];
      }

      $REMARK = '' . $DEPT_NAME . ',DEPT_ID=' . $DEPT_ID;
    }
    else
    {
      if (((($TYPE == 6 OR $TYPE == 7) OR $TYPE == 8) OR $TYPE == 11))
      {
        $query = '' . 'SELECT * from USER where USER_ID=\'' . $REMARK . '\'';
        $cursor = exequery ($connection, $query);
        if ($ROW = mysql_fetch_array ($cursor))
        {
          $USER_ID = $ROW['USER_ID'];
          $USER_NAME = $ROW['USER_NAME'];
          $DEPT_ID = $ROW['DEPT_ID'];
        }

        $query = '' . 'SELECT * from DEPARTMENT where DEPT_ID=\'' . $DEPT_ID . '\'';
        $cursor = exequery ($connection, $query);
        if ($ROW = mysql_fetch_array ($cursor))
        {
          $DEPT_NAME = $ROW['DEPT_NAME'];
        }

        $REMARK = (('' . '[') . $DEPT_NAME . ']') . $USER_NAME . ',USER_ID=' . $USER_ID;
      }
    }

    $query = '' . 'insert into SYS_LOG (USER_ID,TIME,IP,TYPE,REMARK) values (\'' . $OPERATOR . '\',\'' . $CUR_TIME . '\',\'' . $USER_IP . '\',\'' . $TYPE . '\',\'' . $REMARK . '\')';
    exequery ($connection, $query);
    return $query;
  }

  function check_cfg ()
  {
    global $connection;
    $query = 'select * from CP_ASSETCFG';
    $cursor = exequery ($connection, $query);
    if ($ROW = mysql_fetch_array ($cursor))
    {
      $DPCT_SORT = $ROW['DPCT_SORT'];
      $BAL_SORT = $ROW['BAL_SORT'];
    }

    if (((($DPCT_SORT != 'M' AND $DPCT_SORT != 'S') AND $DPCT_SORT != 'Y') OR ($BAL_SORT != '01' AND $BAL_SORT != '02')))
    {
      return false;
    }
    else
    {
      return true;
    }

  }

  function is_dept_parent ($DEPT_ID, $PARENT_ID)
  {
    global $connection;
    $query = '' . 'SELECT * from DEPARTMENT where DEPT_ID=\'' . $DEPT_ID . '\'';
    $cursor = exequery ($connection, $query);
    if ($ROW = mysql_fetch_array ($cursor))
    {
      $DEPT_PARENT = $ROW['DEPT_PARENT'];
      if ($DEPT_PARENT == 0)
      {
        return 0;
      }
      else
      {
        if ($DEPT_PARENT == $PARENT_ID)
        {
          return 1;
        }
        else
        {
          return is_dept_parent ($DEPT_PARENT, $PARENT_ID);
        }
      }
    }

  }

  function is_dept_priv ($DEPT_ID)
  {
    global $LOGIN_USER_ID;
    global $LOGIN_DEPT_ID;
    global $connection;
    $query = '' . 'SELECT * from USER where USER_ID=\'' . $LOGIN_USER_ID . '\'';
    $cursor = exequery ($connection, $query);
    if ($ROW = mysql_fetch_array ($cursor))
    {
      $POST_PRIV = $ROW['POST_PRIV'];
      $POST_DEPT = $ROW['POST_DEPT'];
    }

    if ((($POST_PRIV == 0 AND $DEPT_ID != $LOGIN_DEPT_ID) AND !is_dept_parent ($DEPT_ID, $LOGIN_DEPT_ID)))
    {
      $DEPT_PRIV = 0;
    }
    else
    {
      if ($POST_PRIV == 2)
      {
        $DEPT_PRIV = 0;
        $MY_ARRAY = explode (',', $POST_DEPT);
        $ARRAY_COUNT = sizeof ($MY_ARRAY);
        if ($MY_ARRAY[$ARRAY_COUNT - 1] == '')
        {
          --$ARRAY_COUNT;
        }

        for ($I = 0; $I < $ARRAY_COUNT; ++$I)
        {
          if ((is_dept_parent ($DEPT_ID, $MY_ARRAY[$I]) OR $MY_ARRAY[$I] == $DEPT_ID))
          {
            $DEPT_PRIV = 1;
            break;
          }
        }
      }
      else
      {
        $DEPT_PRIV = 1;
      }
    }

    return $DEPT_PRIV;
  }

  function my_dept_tree ($DEPT_ID, $DEPT_CHOOSE, $POST_OP, $NO_CHILD_DEPT = 0)
  {
    global $DEEP_COUNT;
    if ($DEEP_COUNT == '')
    {
      $DEEP_COUNT = '|';
    }

    global $connection;
    $query = '' . 'SELECT * from DEPARTMENT where DEPT_PARENT=' . $DEPT_ID . ' order by DEPT_NO';
    $cursor = exequery ($connection, $query);
    $OPTION_TEXT = '';
    $DEEP_COUNT1 = $DEEP_COUNT;
    $DEEP_COUNT .= ' |';
    while ($ROW = mysql_fetch_array ($cursor))
    {
      ++$COUNT;
      $DEPT_ID = $ROW['DEPT_ID'];
      $DEPT_NAME = $ROW['DEPT_NAME'];
      $DEPT_PARENT = $ROW['DEPT_PARENT'];
      $DEPT_NAME = str_replace ('<', '&lt', $DEPT_NAME);
      $DEPT_NAME = str_replace ('>', '&gt', $DEPT_NAME);
      $DEPT_NAME = stripslashes ($DEPT_NAME);
      if ($POST_OP == 1)
      {
        $DEPT_PRIV = is_dept_priv ($DEPT_ID);
      }
      else
      {
        $DEPT_PRIV = 1;
      }

      if ($NO_CHILD_DEPT != $DEPT_ID)
      {
        $OPTION_TEXT_CHILD = my_dept_tree ($DEPT_ID, $DEPT_CHOOSE, $POST_OP, $NO_CHILD_DEPT);
      }

      if ($DEPT_PRIV == 1)
      {
        $OPTION_TEXT .= '<option ';
        if ($DEPT_ID == $DEPT_CHOOSE)
        {
          $OPTION_TEXT .= 'selected ';
        }

        $OPTION_TEXT .= '' . 'value=' . $DEPT_ID . '>' . $DEEP_COUNT1 . '─' . $DEPT_NAME . '</option>';
      }

      if (($NO_CHILD_DEPT != $DEPT_ID AND $OPTION_TEXT_CHILD != ''))
      {
        $OPTION_TEXT .= $OPTION_TEXT_CHILD;
        continue;
      }
    }

    $DEEP_COUNT = $DEEP_COUNT1;
    return $OPTION_TEXT;
  }

  function dept_long_name ($DEPT_ID)
  {
    global $connection;
    $query = '' . 'SELECT * from DEPARTMENT where DEPT_ID=\'' . $DEPT_ID . '\'';
    $cursor = exequery ($connection, $query);
    if ($ROW = mysql_fetch_array ($cursor))
    {
      $DEPT_NAME = $ROW['DEPT_NAME'];
      $DEPT_PARENT = $ROW['DEPT_PARENT'];
      if ($DEPT_PARENT == 0)
      {
        return $DEPT_NAME;
      }
      else
      {
        return dept_long_name ($DEPT_PARENT) . '/' . $DEPT_NAME;
      }
    }

  }

  function image_mimetype ($fichier)
  {
    if (eregi ('' . '\\.mid$', $fichier))
    {
      $image = 'mid.gif';
    }
    else
    {
      if (eregi ('' . '\\.txt$', $fichier))
      {
        $image = 'txt.gif';
      }
      else
      {
        if (eregi ('' . '\\.sql$', $fichier))
        {
          $image = 'txt.gif';
        }
        else
        {
          if (eregi ('' . '\\.js$', $fichier))
          {
            $image = 'js.gif';
          }
          else
          {
            if (eregi ('' . '\\.gif$', $fichier))
            {
              $image = 'gif.gif';
            }
            else
            {
              if (eregi ('' . '\\.jpg$', $fichier))
              {
                $image = 'jpg.gif';
              }
              else
              {
                if (eregi ('' . '\\.html$', $fichier))
                {
                  $image = 'html.gif';
                }
                else
                {
                  if (eregi ('' . '\\.htm$', $fichier))
                  {
                    $image = 'html.gif';
                  }
                  else
                  {
                    if (eregi ('' . '\\.rar$', $fichier))
                    {
                      $image = 'rar.gif';
                    }
                    else
                    {
                      if (eregi ('' . '\\.gz$', $fichier))
                      {
                        $image = 'zip.gif';
                      }
                      else
                      {
                        if (eregi ('' . '\\.tgz$', $fichier))
                        {
                          $image = 'zip.gif';
                        }
                        else
                        {
                          if (eregi ('' . '\\.z$', $fichier))
                          {
                            $image = 'zip.gif';
                          }
                          else
                          {
                            if (eregi ('' . '\\.ra$', $fichier))
                            {
                              $image = 'ram.gif';
                            }
                            else
                            {
                              if (eregi ('' . '\\.ram$', $fichier))
                              {
                                $image = 'ram.gif';
                              }
                              else
                              {
                                if (eregi ('' . '\\.rm$', $fichier))
                                {
                                  $image = 'ram.gif';
                                }
                                else
                                {
                                  if (eregi ('' . '\\.pl$', $fichier))
                                  {
                                    $image = 'pl.gif';
                                  }
                                  else
                                  {
                                    if (eregi ('' . '\\.zip$', $fichier))
                                    {
                                      $image = 'zip.gif';
                                    }
                                    else
                                    {
                                      if (eregi ('' . '\\.wav$', $fichier))
                                      {
                                        $image = 'wav.gif';
                                      }
                                      else
                                      {
                                        if (eregi ('' . '\\.php$', $fichier))
                                        {
                                          $image = 'php.gif';
                                        }
                                        else
                                        {
                                          if (eregi ('' . '\\.phtml$', $fichier))
                                          {
                                            $image = 'php.gif';
                                          }
                                          else
                                          {
                                            if (eregi ('' . '\\.exe$', $fichier))
                                            {
                                              $image = 'exe.gif';
                                            }
                                            else
                                            {
                                              if (eregi ('' . '\\.bmp$', $fichier))
                                              {
                                                $image = 'bmp.gif';
                                              }
                                              else
                                              {
                                                if (eregi ('' . '\\.png$', $fichier))
                                                {
                                                  $image = 'gif.gif';
                                                }
                                                else
                                                {
                                                  if (eregi ('' . '\\.css$', $fichier))
                                                  {
                                                    $image = 'css.gif';
                                                  }
                                                  else
                                                  {
                                                    if (eregi ('' . '\\.mp3$', $fichier))
                                                    {
                                                      $image = 'mp3.gif';
                                                    }
                                                    else
                                                    {
                                                      if (eregi ('' . '\\.xls$', $fichier))
                                                      {
                                                        $image = 'xls.gif';
                                                      }
                                                      else
                                                      {
                                                        if (eregi ('' . '\\.doc$', $fichier))
                                                        {
                                                          $image = 'doc.gif';
                                                        }
                                                        else
                                                        {
                                                          if (eregi ('' . '\\.pdf$', $fichier))
                                                          {
                                                            $image = 'pdf.gif';
                                                          }
                                                          else
                                                          {
                                                            if (eregi ('' . '\\.mov$', $fichier))
                                                            {
                                                              $image = 'mov.gif';
                                                            }
                                                            else
                                                            {
                                                              if (eregi ('' . '\\.avi$', $fichier))
                                                              {
                                                                $image = 'avi.gif';
                                                              }
                                                              else
                                                              {
                                                                if (eregi ('' . '\\.mpg$', $fichier))
                                                                {
                                                                  $image = 'mpg.gif';
                                                                }
                                                                else
                                                                {
                                                                  if (eregi ('' . '\\.mpeg$', $fichier))
                                                                  {
                                                                    $image = 'mpeg.gif';
                                                                  }
                                                                  else
                                                                  {
                                                                    if (eregi ('' . '\\.swf$', $fichier))
                                                                    {
                                                                      $image = 'flash.gif';
                                                                    }
                                                                    else
                                                                    {
                                                                      $image = 'defaut.gif';
                                                                    }
                                                                  }
                                                                }
                                                              }
                                                            }
                                                          }
                                                        }
                                                      }
                                                    }
                                                  }
                                                }
                                              }
                                            }
                                          }
                                        }
                                      }
                                    }
                                  }
                                }
                              }
                            }
                          }
                        }
                      }
                    }
                  }
                }
              }
            }
          }
        }
      }
    }

    return $image;
  }

  function my_sort_tree ($SORT_ID_CHOOSE, $FILE_SORT, $PARENT_ID, $IS_SORT)
  {
    global $DEEP_COUNT;
    global $LOGIN_DEPT_ID;
    global $LOGIN_USER_ID;
    if ($DEEP_COUNT == '')
    {
      $DEEP_COUNT = '|';
    }

⌨️ 快捷键说明

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