board3/Board3-Portal — pull request #175 by marc1706 (2013-11-02 09:36:24+00:00)
Title: [fix/redirect_link] Correctly redirect to app.php/portal for now

This does not work yet though, as the redirect() function is unable to handle
redirects to app.php/xyz.