+#if defined(WIN32_PIPE_TO_PROCESSES)
+
+ int p[2];
+ int stdin_fileno, stdout_fileno;
+
+ if(_pipe(p, 512, O_BINARY | O_NOINHERIT) < 0) {
+ cerr<<"Unable to open pipe to ffmpeg"<<endl;
+ return false;
+ }
+
+ // Save stdin/stdout so we can restore them later
+ stdin_fileno = _dup(_fileno(stdin));
+ stdout_fileno = _dup(_fileno(stdout));
+
+ // ffmpeg should write to the pipe
+ if(_dup2(p[1], _fileno(stdout)) != 0) {
+ cerr<<"Unable to open pipe to ffmpeg"<<endl;
+ return false;
+ }
+
+ /*
+ ffmpeg accepts the input filename on the command-line
+ if(_dup2(_fileno(input), _fileno(stdin)) != 0) {
+ synfig::error(_("Unable to open pipe to ffmpeg"));
+ return false;
+ }
+ */
+
+ pid = _spawnlp(_P_NOWAIT, "ffmpeg", "ffmpeg", "-i", filename.c_str(), "-an", "-f", "image2pipe", "-vcodec", "ppm", "-", (const char *)NULL);
+ if( pid < 0) {
+ cerr<<"Unable to open pipe to ffmpeg"<<endl;
+ return false;
+ }
+
+ // Restore stdin/stdout
+ if(_dup2(stdin_fileno, _fileno(stdin)) != 0) {
+ cerr<<"Unable to open pipe to ffmpeg"<<endl;
+ return false;
+ }
+ if(_dup2(stdout_fileno, _fileno(stdout)) != 0) {
+ cerr<<"Unable to open pipe to ffmpeg"<<endl;
+ return false;
+ }
+ close(stdin_fileno);
+ close(stdout_fileno);
+
+ // Close the pipe write end - ffmpeg uses it
+ close(p[1]);
+
+ // We read data from the read end of the pipe
+ file = fdopen(p[0], "rb");