home *** CD-ROM | disk | FTP | other *** search
/ PC Professionell 2004 December / PCpro_2004_12.ISO / files / webserver / tsw / TSW_3.4.0.exe / Apache2 / admin / editlang.php < prev    next >
Encoding:
PHP Script  |  2003-11-28  |  1.6 KB  |  51 lines
  1. <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
  2. <html>
  3. <head>
  4. <title>Navigation</title>
  5. <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
  6. <link href="css/style.css" rel="stylesheet" type="text/css">
  7.  
  8. <script language="JavaScript">
  9. <!--
  10. window.location.href = "../nav.php";
  11. //-->
  12. </script>
  13.  
  14. </head>
  15.  
  16. <?php
  17.   /* edit config.inc.php */
  18.   $file_content = file("../inc/config.inc.php");
  19.   for($i = 0; $i < sizeof($file_content); $i++)
  20.   {
  21.     if(strncmp($file_content[$i], "\$lang", 5) == 0)
  22.     {
  23.       $file_content[$i] = "\$lang = " . "\"" . $lang_menu_selector . "\";\n";
  24.     }
  25.     $result = $result . $file_content[$i];
  26.   }
  27.   rename("../inc/config.inc.php", "../inc/config.inc.php." . time() . ".backup");
  28.   $filepointer = fopen("../inc/config.inc.php", 'a+');
  29.   flock($filepointer, 2) or die('The config file could not be locked...');
  30.   fwrite($filepointer, $result);
  31.   fclose($filepointer);
  32.  
  33.   /* try to handle config.inc.cgi script as well... */
  34.   $file_content_cgi = file("../inc/config.inc.cgi");
  35.   for($j = 0; $j < sizeof($file_content_cgi); $j++)
  36.   {
  37.     if(strncmp($file_content_cgi[$j], "\$lang", 5) == 0)
  38.     {
  39.       $file_content_cgi[$j] = "\$lang = " . "\"" . $lang_menu_selector . "\";\n";
  40.     }
  41.     $result_cgi = $result_cgi . $file_content_cgi[$j];
  42.   }
  43.   rename("../inc/config.inc.cgi", "../inc/config.inc.cgi." . time() . ".backup");
  44.   $filepointer_cgi = fopen("../inc/config.inc.cgi", 'a+');
  45.   flock($filepointer_cgi, 2) or die('The config file could not be locked...');
  46.   fwrite($filepointer_cgi, $result_cgi);
  47.   fclose($filepointer_cgi);
  48.  
  49.  
  50. ?>
  51. </html>