diff --git a/tools/gst-play.c b/tools/gst-play.c index 6a70f0efc9..4204d5511d 100644 --- a/tools/gst-play.c +++ b/tools/gst-play.c @@ -1289,5 +1289,6 @@ main (int argc, char **argv) g_free (video_sink); g_print ("\n"); + gst_deinit (); return 0; }