Philipp Hasenfratz: "malformed header" bei Flush-( $| )-Versuch

Beitrag lesen

Hallihallo

Ich habe mir genau das selbe auch schon mal kurz durch den Kopf gehen lassen. Aber 1. viel besser als die zusätzlichen-space-buffer-füll-methode ist diese refresh-methode auch nicht (ruckel, ruckel). und 2. ist das doch ein ganz grosser aufwand, mit der kommunikationsdatei auf dem server. und das alles nur für so eine blöde sache. ich wähle glaub provisorisch mal die space-methode. :-)

Ja, ich weiss, dass es sehr umständlich ist. Nur leider sehe ich wirklich kene andere Lösung. Nun, dann eben die space-methode, warum auch nicht? - Solange diese Methode einigermassen funktioniert, ist sie ja OK. Das einzige Problem ist halt, dass es die Länge der Datei ziemlich in die höhe treibt.

Viel Glück beim weiteren umsetzen

Philipp