Richtig, das ist aber gar nicht so einfach, der Cookie muss ja erstmal entgegengenommen und gespeichert werden.
Ich habe da noch etwas für curl gefunden:
PHP: curl_setopt - Manual
D.h. du speicherst den Cookie* beim ersten Aufruf mittels
und gibst ihn* bei den folgenden Aufrufen wieder mit:
Dann brauchst du den einzelnen JSESSIONID Cookie gar nicht beachten und auch nicht mit dem stream context hantieren, Voraussetzung ist nur dass du curl verwendest statt file_get_contents. Wie das geht steht z.B. hier: PHP: curl_exec - Manual
*) genauer gesagt: alle gesendeten Cookies
Ich habe da noch etwas für curl gefunden:
PHP: curl_setopt - Manual
CURLOPT_COOKIEFILE Der Name einer Datei, die Cookiedaten enthält. Diese Datei kann im Netscape-Format sein oder HTTP-geformte Header enthalten.
CURLOPT_COOKIEJAR Der Name einer Datei in der alle internen Cookies beim Schließen der Verbindung gespeichert werden.
CURLOPT_COOKIEJAR Der Name einer Datei in der alle internen Cookies beim Schließen der Verbindung gespeichert werden.
PHP-Code:
curl_setopt(CURLOPT_COOKIEJAR, 'cookies.txt');
PHP-Code:
curl_setopt(CURLOPT_COOKIEFILE, 'cookies.txt');
*) genauer gesagt: alle gesendeten Cookies
Kommentar