diff options
author | Guillaume Desmottes <guillaume.desmottes@collabora.co.uk> | 2016-04-18 17:39:02 +0300 |
---|---|---|
committer | Nicolas Dufresne <nicolas.dufresne@collabora.com> | 2016-04-18 11:36:39 -0400 |
commit | ef1a99d4d86c2d5734d55d371116fbd34aac107c (patch) | |
tree | d293cc654deef935ee4adbf563636561c5a0fecb /tools | |
parent | de60d195c057f40f33253f488e687d8158d98118 (diff) | |
download | gstreamer-plugins-base-ef1a99d4d86c2d5734d55d371116fbd34aac107c.tar.gz |
gst-play: call gst_deinit()
So we can use gst-play to track memory leaks.
https://bugzilla.gnome.org/show_bug.cgi?id=765216
Diffstat (limited to 'tools')
-rw-r--r-- | tools/gst-play.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/gst-play.c b/tools/gst-play.c index 6a70f0efc..4204d5511 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; } |