webui: Stream directly for TVHeadend/ http client, too

diff --git a/src/webui/webui.c b/src/webui/webui.c
index 8d91a21fd3b462f37652f2599b52fad164989119..91b3ec424781ea9d535a47c04b2adea4ac380aaf 100644 (file)
--- a/src/webui/webui.c
+++ b/src/webui/webui.c
@@ -1016,12 +1016,14 @@ static char *
 page_play_path_modify(http_connection_t *hc, const char *path, int *cut)
 {
   /*
-   * For curl and wget do not set the playlist, stream directly
+   * For curl, wget and TVHeadend do not send the playlist, stream directly
    */
   const char *agent = http_arg_get(&hc->hc_args, "User-Agent");
   if (strncasecmp(agent, "curl/", 5) == 0 ||
       strncasecmp(agent, "wget/", 5) == 0)
     return strdup(path + 5);
+  if (strncasecmp(agent, "TVHeadend/", 10) == 0)
+    return strdup(path + 10);
   return NULL;
 }