lib/pagecopy.php

   1 <?php
   2         require_once "localresource.php";
   3
   4         class PageCopy extends LocalResource
   5         {
   6                 var $date;
   7                 var $origin;
   8                 var $endOfHTML = '';
   9                 var $startOfHEAD = '';
  10                 var $endOfHEAD = '';
  11
  12                 function __construct($name, $origin, $root)
  13                 {
  14                         $this->date = date("c");
  15                         $this->origin = $origin;
  16                         $c = $root->get($name);
  17                         $this->file = $c->get_file();
  18                         $this->url  = $c->get_url();
  19                 }
  20
  21                 function update()
  22                 {
  23                         $ch = curl_init();
  24                         $timeout = 5; // set to zero for no timeout
  25                         curl_setopt ($ch, CURLOPT_URL, $this->origin);
  26                         curl_setopt ($ch, CURLOPT_RETURNTRANSFER, 1);
  27                         curl_setopt ($ch, CURLOPT_CONNECTTIMEOUT, $timeout);
  28                         $file_contents = curl_exec($ch);
  29                         curl_close($ch);
  30
  31                         if ($content = $file_contents) {
  32
  33                                 if (eregi("<head>", $content)) {
  34                                         $content = eregi_replace("<head>", "<head>". $this->startOfHEAD , $content);
  35                                 } else {
  36                                         $content = eregi_replace("^", "<head>". $this->startOfHEAD , $content);
  37                                 }
  38                                 if (eregi("</head>", $content)) {
  39                                         $content = eregi_replace("</head>", $this->endOfHEAD . "</head>", $content);
  40                                 } else {
  41                                         $content = eregi_replace("^", $this->endOfHEAD . "</head>", $content);
  42                                 }
  43                                 if (eregi("</html>", $content)) {
  44                                         $content = eregi_replace("</html>", $this->endOfHTML . "</html>", $content);
  45                                 } else {
  46                                         $content = eregi_replace("$", $this->endOfHTML . "</html>", $content);
  47                                 }
  48                                 $copy = fopen($this->file, "w");
  49                                 if (! fwrite($copy, $content)) {
  50                                         throw new Exception("Err: Ecriture");
  51                                 }
  52                         }
  53                 }
  54
  55                 function add_to_html($s)
  56                 {
  57                         $this->endOfHTML .= $s;
  58                 }
  59
  60                 function add_to_head($s)
  61                 {
  62                         $this->endOfHEAD .= $s;
  63                 }
  64
  65                 function add_to_head_start($s)
  66                 {
  67                         $this->startOfHEAD .= $s;
  68                 }
  69         }
  70
  71         function url2fileName($url)
  72         {
  73                 $fileName = $url;
  74                 $forbidden = array('/',':','?','=','&','+','%');
  75                 $fileName = ereg_replace('^http://', '', $fileName); //remove http://
  76                 $fileName = ereg_replace('#.*$', '', $fileName); //remove fragment id
  77                 $fileName = str_replace($forbidden, '_', $fileName);
  78
  79                 return $fileName;
  80         }