Hey Thomas, herzlichen Dank für die ausführliche Hilfe. Hat mir viel Zeit gespart.
Das ganze ist also eine Makro-Sprache von VLC. Wenn mans erst mal verstanden hat, ist es einfach. Ich hoffe, ich habe es verstanden.
Ich habe mich für folgende Lösung entschieden:
In die mobile.html setze ich den zusätzlichen Button, der dann eine Seite innerhalb vlc aufruft. In den body kommt dann:
HTML
<!DOCTYPE ...>
<html ...>
<head>
<title> ... </title>
</head>
<body>
<?vlc
vlc.misc.quit()
?>
</body>
</html>
Alles anzeigen
Das VLC Makro beginnt an der Stelle <?vlc und endet ?>
Ist das VLC beendet funktioniert auch der Server nicht mehr, ist ja klar.
Für mich ist die Lösung komplett.
Herzlichen Dank an alle, die sich damit befasst haben.