# HG changeset patch
# User ib
# Date 1354189420 0
# Node ID f7c733273a13f951af278aa1ea7a40ee05227c97
# Parent  b092553a25c1c1c89a9b5557d99a59c0e7eb41cf
Reset RunningTime after playback.

Only do so if no media opened.

This won't continue displaying a running time
after playback if no file is opened.

Reported by Hans-Dieter Kosch, hdkosch kabelbw de.

diff -r b092553a25c1 -r f7c733273a13 gui/interface.c
--- a/gui/interface.c	Thu Nov 29 11:39:55 2012 +0000
+++ b/gui/interface.c	Thu Nov 29 11:43:40 2012 +0000
@@ -790,6 +790,7 @@
             filename = NULL;
 
             if (isPlaylistStreamtype && !listMgr(PLAYLIST_ITEM_GET_CURR, 0)) {
+                guiInfo.RunningTime   = 0;
                 guiInfo.AudioChannels = 0;
                 uiSetFileName(NULL, NULL, STREAMTYPE_DUMMY);
             }