tera_wurfl
[ class tree: tera_wurfl ] [ index: tera_wurfl ] [ all elements ]
Packages:
tera_wurfl

Source for file tera_wurfl_updatedb.php

Documentation is available at tera_wurfl_updatedb.php

  1. <?php
  2. /*
  3.  * Tera_WURFL - PHP MySQL driven WURFL
  4.  * 
  5.  * Tera-WURFL was written by Steve Kamerman, Tera Technologies and is based on the
  6.  * WURFL PHP Tools from http://wurfl.sourceforge.net/.  This version uses a MySQL database
  7.  * to store the entire WURFL file to provide extreme performance increases.
  8.  * 
  9.  * @package tera_wurfl
  10.  * @author Steve Kamerman, Tera Technologies (kamermans AT teratechnologies DOT net)
  11.  * @version Stable 1.5.0 $Date: 2007/04/27 17:43:50 $
  12.  * @version Stable 1.5.0 $Date: 2007/04/27 17:43:50 $
  13.  * @license http://www.mozilla.org/MPL/ MPL Vesion 1.1
  14.  * $Id: tera_wurfl_updatedb.php,v 1.1.2.4.2.8 2007/04/27 17:43:50 kamermans Exp $
  15.  * $RCSfile: tera_wurfl_updatedb.php,v $
  16.  * 
  17.  * Based On: WURFL PHP Tools by Andrea Trasatti ( atrasatti AT users DOT sourceforge DOT net )
  18.  *
  19.  */
  20. $source = (isset($_GET['source']))? $_GET['source']: "local";
  21. $type = (isset($_GET['type']))? $_GET['type']: "main";
  22. require_once('../tera_wurfl_config.php');
  23. require_once(WURFL_PARSER_FILE);
  24.  
  25. // connect to DB
  26. $dbcon = mysql_connect(DB_HOST,DB_USER,DB_PASS) or die("Could not connect to MySQL Server (".DB_HOST."): ".mysql_error());
  27. // select DB
  28. mysql_select_db(DB_SCHEMA,$dbcon) or die("Connected to MySQL Server but could not select database (".DB_SCHEMA."): ".mysql_error($dbcon));
  29. // check main device tables (devices,patch,hybrid)
  30. $tablesres = mysql_query("SHOW TABLES");
  31. $required_tables = array(DB_DEVICE_TABLE,DB_PATCH_TABLE,DB_HYBRID_TABLE);
  32. $tables = array();
  33. while($table = mysql_fetch_row($tablesres))$tables[]=$table[0];
  34. foreach($required_tables as $req_table){
  35.     if(!in_array($req_table,$tables)){
  36.         echo "Required table '$req_table' was missing in database (".print_r($tables,true)."), creating...<br />";
  37.         emptyWurflDevTable($req_table);
  38.     }
  39. }
  40. // check for cache table and create it if necessary
  41. if(!in_array(DB_CACHE_TABLE,$tables))clear_cache();
  42. $start = utime();
  43. $results = load_wurfl($type,$source);
  44. $end = utime();
  45. if($type == "main"){
  46.     // if this is a patch update, these stats don't really make sense, although they ARE correct
  47.     echo "<strong>Database Update</strong><hr />";
  48.     echo "Total Update Time: ".($end-$start)."<br />";
  49.     echo "Total Devices in WURFL: ".$results['total']."<br />";
  50.     echo "Total Devices inserted in DB: ".$results['inserted']."<br />";
  51.     echo "Total Queries: ".$results['queries']."<br />";
  52.     echo "Largest Query: ".(ceil($results['maxquerysize']/1024))."KB<br />";
  53.     echo "Total Errors: ".count($results['errors'])."<br /><br />";
  54. }
  55. if(count($results['errors']) == 0){
  56.     if(WURFL_PATCH_ENABLE === true){
  57.         echo "<strong>Applying Patch</strong><hr />";
  58.         if(!is_readable(WURFL_PATCH_FILE)){
  59.             echo "<strong>ERROR:</strong> You have the 'WURFL_PATCH_ENABLE' option turned on in the 
  60. configuration file (".CLASS_DIRNAME."tera_wurfl_config.php) but either the patch file (".WURFL_PATCH_FILE.") 
  61. is missing or I can't read it.  To fix this problem either turn the patch option off or make sure the file is
  62. in the correct location.";
  63.         }else{
  64.             $start = utime();
  65.             $results = apply_patch();
  66.             $end = utime();
  67.             echo "Total Update Time: ".($end-$start)."<br />";
  68.             echo "Total Devices in Patch File: ".$results['total']."<br />";
  69.             echo "New Devices Added: ".$results['new']."<br />";
  70.             echo "Merged Devices: ".$results['merged']."<br />";
  71.             echo "Total Queries: ".$results['queries']."<br />";
  72.             echo "Total Errors: ".count($results['errors'])."<br /><br />";
  73.         }
  74.     }else{
  75.         echo "<strong>Patch Disabled in Configuration</strong><br />";
  76.     }
  77.     echo "<br /><br />Update Complete!<br />";
  78. }else{
  79.     echo "Did not attept to apply the patch since there were errors while updating.";
  80. }
  81. echo "<a href=\"index.php\">Return to administration tool.</a>";
  82.  
  83. function utime($time = false){
  84.     if(!$time)$time = time();
  85.     list($usec, $sec) = explode(" ", microtime());
  86.     $out = ((float)$usec + (float)$sec);
  87.     return($out); 
  88. }
  89. function javascriptRedir($page, $seconds, $custommsg=false){
  90.     global $redirectDelay;
  91.     if(isset($redirectDelay))$seconds += $redirectDelay;
  92.     $file = '';
  93.     $line = '';
  94.     $sent = headers_sent($file,$line);
  95.     if($seconds == 0 && !$sent){
  96.         //headers have not been sent and instant redir was requested - do it!
  97.         session_write_close();
  98.         header("Location: $page");
  99. //        die("header");
  100.         exit;
  101.     }
  102.     $time = $seconds * 1000;
  103. //    die("JavaScript, ($sent)output started on line $line in $file");
  104.     if($custommsg){
  105.         echo $msg;
  106.     }else{
  107.         echo "<br><br>You will be redirected to <a href='$page'>$page</a> in $seconds seconds...";
  108.     }
  109.     echo '<script language="javascript">'."\n".'setTimeout('."'".'window.location.href = "'.$page.'"'."'".', '.$time.');'.'</script>';
  110.     echo '<noscript><meta http-equiv="refresh" content="'.$time.';url='.$page.'" /></noscript>';
  111.     exit;
  112. }
  113. ?>
Documentation generated on Fri, 27 Apr 2007 12:10:22 -0400 by phpDocumentor 1.3.1