playonwii/functions.php

   1 <?php
   2
   3 $videos_dir = "/home/andy/Videos/Wii";
   4 $deleted_dir = "$videos_dir/deleted";
   5 $videos_uri = "/filesvideo";
   6
   7 $allowed_chars_re = "/[\\/0-9a-zA-Z_-]/";
   8
   9 # Compare with rtv_utils.py's prepare_filename method
  10 function prepare_filename( $filename )
  11 {
  12     global $allowed_chars_re;
  13
  14     $len = strlen( $filename );
  15     $dotpos = strrpos( $filename, '.' );
  16     $extension = substr( $filename, $dotpos );
  17     $filename = substr( $filename, 0, $dotpos );
  18
  19     if ( $extension == ".mp4" )
  20     {
  21         $dotpos = strrpos( $filename, '.' );
  22         $tmp = substr( $filename, $dotpos );
  23         if ( $tmp == ".avi_high" )
  24         {
  25             $extension = $tmp . $extension;
  26             $filename = substr( $filename, 0, $dotpos );
  27         }
  28     }
  29
  30     if ( $extension != ".flv" and
  31          $extension != ".avi"  and
  32          $extension != ".mp4"  and
  33          $extension != ".avi_high.mp4"  and
  34          $extension != ".webm" )
  35     {
  36         return "not_an_flv";
  37     }
  38
  39     $ans = sanitise_filename( $filename );
  40
  41     return $ans . $extension;
  42 }
  43
  44 function sanitise_filename( $filename )
  45 {
  46     global $allowed_chars_re;
  47
  48     $len = strlen( $filename );
  49
  50     $ans = "";
  51
  52     for( $i = 0; $i < $len; $i++ )
  53     {
  54         $char = $filename[$i];
  55         if( preg_match( $allowed_chars_re, $char ) )
  56         {
  57             $ans .= $char;
  58         }
  59         else
  60         {
  61             $ans .= "_";
  62         }
  63     }
  64
  65     return $ans;
  66 }
  67
  68
  69 ?>
  70