User Tools

Site Tools


podcast_generator

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
podcast_generator [2020/01/03 16:41]
neil meh, have your book title emojis :P
podcast_generator [2020/01/03 16:46] (current)
neil
Line 44: Line 44:
 */ */
 if(empty($_REQUEST['​dirname'​])) if(empty($_REQUEST['​dirname'​]))
-   dir("​Missing mp3 directory"​);​+   die("​Missing mp3 directory"​);​
  
 $dir_name = basename($_REQUEST['​dirname'​]);​ $dir_name = basename($_REQUEST['​dirname'​]);​
 +
 +if(preg_match('/​[^a-z_\-0-9]/​i',​ $dir_name))
 +   ​die("​Invalid directory"​);​
  
 if(!empty($dir_name) and is_dir($mp3_dir.$dir_name)) { if(!empty($dir_name) and is_dir($mp3_dir.$dir_name)) {
podcast_generator.txt ยท Last modified: 2020/01/03 16:46 by neil