extensions.push_back("wave");
extensions.push_back("mkv");
extensions.push_back("avi");
+ extensions.push_back("divx");
extensions.push_back("dat");
extensions.push_back("flac");
extensions.push_back("mp4");
sourceinfo.containertype = ctMPEGTS;
else if ( strcasecmp(ext, ".mkv") == 0 )
sourceinfo.containertype = ctMKV;
- else if ( strcasecmp(ext, ".avi") == 0 )
+ else if ( strcasecmp(ext, ".avi") == 0 || strcasecmp(ext, ".divx") == 0)
sourceinfo.containertype = ctAVI;
else if ( strcasecmp(ext, ".mp4") == 0 )
sourceinfo.containertype = ctMP4;