##// END OF EJS Templates
Merge pull request #679 from minrk/hist...
Merge pull request #679 from minrk/hist Add method to HistoryManager for fetching session timestamps, etc. The method is: HistoryManager.get_session_info() Also sets detect_types flags on the db connection, so timestamps are retrieved as datetime objects. The test history file has been moved to a tempdir, so that we don't get test_hist.sqlite files all over the filesystem when running the test suite.
Fernando Perez -
r4603:9dfe8022 merge
Show More