HTTP 302 Redirects in Paket HTML implementieren
Redirects über den HTTP 302 Status code sind direkter und damit schneller als die bisher verwendbaren <meta http-equiv="refresh" ...>
Redirects. Dies ist vor allem für Submit-Buttons und dergleichen gewünscht, um nach dem Form submit (POST-Request) direkt auf eine andere URL zu leiten.
Erforderlich sind vermutlich Änderungen in Base.curry (neuer Constructor für den HTTP Status Code bei data FormParam
) und in CgiServer.curry.
Page Messages sollten einen Redirect überleben, d.h. der Aufruf eines Controllers, der nur einen Redirect ausführt, sollte eine evtl vorhandene Page Message nicht löschen, damit sie auf der Zielseite des Redirects angezeigt wird.