Add session delete api for requestor in library and server

server/backend/api.go

@@ -110,6 +110,15 @@ func GetSessionResult(token string) *server.SessionResult {
 	return session.result
 }
 
+func CancelSession(token string) error {
+	session := sessions.get(token)
+	if session == nil {
+		return errors.New("Unknown session, can't cancel")
+	}
+	session.handleDelete()
+	return nil
+}
+
 func HandleProtocolMessage(
 	path string,
 	method string,

server/irmarequestor/main.go

@@ -32,6 +32,10 @@ func GetSessionResult(token string) *server.SessionResult {
 	return backend.GetSessionResult(token)
 }
 
+func CancelSession(token string) error {
+	return backend.CancelSession(token)
+}
+
 func HttpHandlerFunc(prefix string) http.HandlerFunc {
 	if len(prefix) != 0 && prefix[0] != '/' {
 		prefix = "/" + prefix

server/irmaserver/server.go

@@ -63,6 +63,7 @@ func Handler(config *Configuration) (http.Handler, error) {
 
 	// Server routes
 	router.Post("/session", handleCreate)
+	router.Delete("/session/{token}", handleDelete)
 	router.Get("/session/{token}/status", handleStatus)
 	router.Get("/session/{token}/result", handleResult)
 
@@ -141,6 +142,13 @@ func handleStatus(w http.ResponseWriter, r *http.Request) {
 	server.WriteJson(w, res.Status)
 }
 
+func handleDelete(w http.ResponseWriter, r *http.Request) {
+	err := irmarequestor.CancelSession(chi.URLParam(r, "token"))
+	if err != nil {
+		server.WriteError(w, server.ErrorSessionUnknown, "")
+	}
+}
+
 func handleResult(w http.ResponseWriter, r *http.Request) {
 	res := irmarequestor.GetSessionResult(chi.URLParam(r, "token"))
 	if res == nil {