Home My Page Projects Why3
Summary Activity Tracker Lists SCM Files

[#13512] Add function Session.Make.close_session

Date:
2011-10-27 13:01
Priority:
3
State:
Closed
Submitted by:
David Mentré (dmentre)
Assigned to:
Nobody (None)
Product:
None
Operating System:
None
Component:
None
 
Summary:
Add function Session.Make.close_session

Detailed description
To be able to handle several Why3 session file in the same program, one needs to close a session opened with Session.Make.open_session (http://why3.lri.fr/api/Session.Make.html).

Therefore it would be very useful to have a Session.Make.close_session function.

Followup

Message
Date: 2011-11-03 16:30
Sender: David Mentré

This feature is no longer needed as new module Session_ro provides needed functionalities.

Attached Files:

Changes:

Field Old Value Date By
status_idOpen2013-04-13 15:58marche
close_dateNone2013-04-13 15:58marche