Recherche avancée

Sur d’autres sites (4164)

• ctrl+c doesn't wait for child process (background process) to finish with trap

  11 avril 2019, par phisch

  I have a script which registers a SIGINT trap and starts a ffmpeg background process that records part of the screen. The SIGINT trap sends a SIGINT signal to the background ffmpeg process to get it to gracefully stop and finish the recording.

  When this script is run in a terminal, and terminated from a separate terminal with kill -INT [SCRIPT_PID], the ffmpeg background process terminates gracefully and outputs confirmation in terminal 1.

  When the script is run in a terminal and stopped with ctrl+c the background process just dies instantly. (even if ctrl+c should just send a SIGINT signal)

  Why does ctrl+c behave differently than killing the script with kill -INT in this case ?
  How can i make sure the ffmpeg background process ends gracefully when ending the script with ctrl+c ?

  #!/bin/bash
  
  
  
  exit_script() {
  
      kill -INT $ffmpeg_pid
  
      wait $ffmpeg_pid
  
      printf "\n\nffmpeg should say 'exiting normally, received signal 2' before this message is printed!\n\n"
  
  }
  
  
  
  trap exit_script SIGINT 
  
  
  
  ffmpeg -f x11grab -s 500x500 -i :0.0+0,0 ~/video_`date +%s`.webm &
  
  ffmpeg_pid=$!
  
  
  
  wait

  edit : it seems like ffmpeg receives 2 int signals in the case of ctrl+c, but i don’t know why

• look for an mp4 file inside a directory and send it to different directory after converting to mp3 in php ?

  13 mai 2019, par flash

  I have a directory called incoming_folder in which there is an mp4 file.

  What I want to achieve through php code is to scan a incoming_folder directory, look for an mp4 file and send it to outgoing_folder after converting it into mp3. Technically outgoing_folder should have mp3 version of mp4 from incoming_folder

  Tried with the following code although its scanning the incoming_folder directory but no conversion is happening through ffmpeg.

  <?php
  
  $dir    = 'in_folder';  /* Place where mp4 file is present */
  
  $files1 = scandir($dir);
  
  print_r($files1);    /* It lists all the files in a directory including mp4 file*/
  
  
  
  $destination = 'out_folder';  /* Place where mp3 file need to be send after conversion from mp4 */
  
  
  
  foreach($files1 as $f)
  
  {
  
    $parts = pathinfo($f);
  
  
  
    switch($parts['extension'])
  
    {
  
      case 'mp4' :
  
        system('ffmpeg -i '.$f.' -map 0:2 -ac 1 '.$destination.DS. $parts['filename'].'.mp3', $result);
  
  
  
        if ($result) {
  
          // Do something with result if you want
  
          // log for example
  
        }
  
        break;
  
  
  
      case 'mp3' :
  
        // copy($f, $destination. DS . $parts['filename']. '.' . $parts['extension']);
  
        copy($f, $destination.DS.$parts['filename'].'.mp3');
  
        break;  
  
    }
  
  }
  
  ?>

• look for a mp4 file inside a directory and send it to different directory after converting to mp3 in php ?

  13 mai 2019, par flash

  I have a directory called incoming_folder in which there is a mp4 file.

  What I want to achieve through php code is to scan a incoming_folder directory, look for an mp4 file and send it to outgoing_folder after converting it into mp3.

  Technically outgoing_folder should have mp3 version of mp4 from incoming_folder

  Here is the pictorial representation of what I want :

  

  Tried with the following code although its scanning the incoming_folder directory but no conversion is happening through ffmpeg.

  <?php
  
  $dir    = 'in_folder';  /* Place where mp4 file is present */
  
  $files1 = scandir($dir);
  
  print_r($files1);    /* It lists all the files in a directory including mp4 file*/
  
  
  
  $destination = 'out_folder';  /* Place where mp3 file need to be send after conversion from mp4 */
  
  
  
      <?php
  
      foreach($files1 as $f)
  
      {
  
        $parts = pathinfo($f);
  
  
  
        switch($parts['extension'])
  
        {
  
          case 'mp4' :
  
            system('ffmpeg -i '.$f.' -map 0:2 -ac 1 '.$destination.DS. $parts['filename'].'.mp3', $result);
  
  
  
            if ($result) {
  
              // Do something with result if you want
  
              // log for example
  
            }
  
            break;
  
  
  
          case 'mp3' :
  
            // copy($f, $destination. DS . $parts['filename']. '.' . $parts['extension']);
  
            copy($f, $destination.DS.$parts['filename'].'.mp3');
  
            break;  
  
        }
  
      }
  
      ?>

  Problem Statement :

  I am wondering what changes I should make in the php code so that conversion of file happens from incoming_folder and it should go to outgoing_folder.