xquery version "1.0";
(: $Id: admin.xql 14995 2011-07-30 19:57:47Z dizzzz $ :)
(:
    Main module of the database administration interface.
:)

import module namespace admin="http://exist-db.org/xquery/admin-interface" at "admin.xql";
import module namespace correction="http://exist-db.org/xquery/rebind/correction" at "correction.xqm";

declare namespace request = "http://exist-db.org/xquery/request";

declare option exist:serialize "indent=yes method=xhtml media-type=text/plain";

(: main entry point :)
let $isLoggedIn :=  admin:isLoggedIn()

return 
    if($isLoggedIn) then (
        let $report-file := request:get-parameter("file", ())
        return correction:get-report($report-file)
    ) else (<div class="report" xmlns="http://www.w3.org/1999/xhtml" >Session Timeout: Please log in and refresh this page!</div>)