| 
						
						
							
								
							
						
						
					 | 
				
				 | 
				
					@ -27,10 +27,14 @@ | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					    $file_ext=strtolower(end(explode('.',$_FILES['image']['name']))); | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					    $extensions= array("svg"); | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					    $upload_dir = "./images/"; | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					    $dir_name = $_POST['dir_name']; | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					    $without_extension = pathinfo($file_name, PATHINFO_FILENAME); | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					    $dir_str =     $without_extension = pathinfo($file_name, PATHINFO_FILENAME); | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					    $dir_name = ""; | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					
 | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					    echo "Desired directory name is: ".$dir_name."</br>"; | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					    if (preg_match("/^[a-zA-Z0-9_]*$/", $_POST['dir_name'])) { | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					      $dir_name = $_POST['dir_name']; | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					    } else { | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					      $errors[] = "Error: For a directory name only alphanumeric characters and underscore are allowed."; | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					    } | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					    if (strlen($dir_name) == 0) { | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					      $errors[] = "Error: Please enter directory name."; | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					    } | 
				
			
			
		
	
	
		
			
				
					| 
						
						
						
							
								
							
						
					 | 
				
				 | 
				
					@ -38,14 +42,15 @@ | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					      $errors[]="Error: Extension not allowed, please choose a JPEG or PNG file."; | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					    } | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					    if(empty($errors)==true) { | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					      echo "Desired directory name is: ".$dir_name."</br>"; | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					      //$new_name = md5(time() . $file_name); | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					      unlink($upload_dir.$file_name); | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					      unlink($upload_dir.$without_extension.".pdf"); | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					      unlink($upload_dir.$without_extension.".pdf_tex"); | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					      if (move_uploaded_file($file_tmp, $upload_dir.$file_name)) { | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					        echo "Upload successful.</br>"; | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					        $current_dir = getcwd(); | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					        echo "Current directory is ".$current_dir."</br>"; | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					        //$current_dir = getcwd(); | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					        //echo "Current directory is ".$current_dir."</br>"; | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					        $output = shell_exec("./svg-to-latex.sh ".$upload_dir.$file_name." ".$dir_name); | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					        echo "</p>"; | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					        echo "Conversion results : </br>"; | 
				
			
			
		
	
	
		
			
				
					| 
						
							
								
							
						
						
						
					 | 
				
				 | 
				
					
  |