Copy & Paste im Wiki

[Lefteous]

2ghisler(Author)
Ich habe mir das nochmal angeschaut. Die sessionübergreifenden Cookies haben nun ein Präfix - das nun fein gelöst. Das Sessionscookie "PHPSESSID" ist das noch verbleibende Problem. Hier spielt der Wert von $wgDBname keine Rolle. Vielmehr ist "PHPSESSID" der Standardname für Session-IDs bei PHP. Wird er nicht vor Beginn der Session durch session_name (ALTERNAITVNAME) geändert, so heißt die Session automatisch "PHPSESSID". Jetzt müsste man also herausfinden wo das Wiki die Session startet und dort dann vorher session_name mit einem gescheiten Namen absetzen.

[ghisler(Author)]

Hmm, PHPSESSID kann ich im gesamten Quelltext der Wiki-Software nicht finden - sicher, dass das benutzt wird?

Und wieso werde ich dann nicht aus dem Forum ausgeloggt, wenn ich mich im Wiki einlogge?

[Lefteous]

2ghisler(Author)

Hmm, PHPSESSID kann ich im gesamten Quelltext der Wiki-Software nicht finden - sicher, dass das benutzt wird?

Dieser Wert ist in der php.ini als Standartwert festgelegt. Wenn man keinen anderen angibt wird dieser automatisch als Session-ID Name verwendet und das ist hier offenbar der Fall.

Und wieso werde ich dann nicht aus dem Forum ausgeloggt, wenn ich mich im Wiki einlogge?

Weil phpbb wohl - wie es sich gehört - einen gescheiten Sessionnamen setzt.

[ghisler(Author)]

Danke, nun _scheint_ es zu funktioneren! Dazu habe ich in allen betroffenen Dokumenten den Text
ini_get('session.name')
ersetzt durch
$wgSessionName

und in meiner deutschen LocalSettings.php steht nun:

$wgSessionName = ini_get('session.name') . "_wikide";
session_name($wgSessionName);

[Lefteous]

2ghisler(Author)
Ja es geht jetzt wunderbar - danke!