So, I have this situation where I have a relatively rich, configurable Flash animation player (not a video, not a preset animation) and I'd like to convert the output to an MPEG-4/FLV video stream. The commercial converters all look like they're designed for converting single animations, but I want this to scale WAY up to a few million converted videos. So, I figure -- why not try a GStreamer pipeline that decodes the Flash with Swfdec and encodes with ffmpeg?
Good idea in theory. In practice, my source material is a little bit too much for Swfdec to handle. Off to try to contact the developers ;) I'd be happy to hear about other practical approaches, too.