| 189 |
""" |
""" |
| 190 |
self.SetSession(create_empty_session()) |
self.SetSession(create_empty_session()) |
| 191 |
|
|
| 192 |
def OpenSession(self, filename): |
def OpenSession(self, filename, db_connection_callback = None): |
| 193 |
"""Open the session in the file named filename""" |
"""Open the session in the file named filename""" |
| 194 |
# Make sure we deal with an absolute pathname. Otherwise we can |
# Make sure we deal with an absolute pathname. Otherwise we can |
| 195 |
# get problems when saving because the saving code expects an |
# get problems when saving because the saving code expects an |
| 196 |
# absolute directory name |
# absolute directory name |
| 197 |
filename = os.path.abspath(filename) |
filename = os.path.abspath(filename) |
| 198 |
session = load_session(filename) |
session = load_session(filename, |
| 199 |
|
db_connection_callback = db_connection_callback) |
| 200 |
session.SetFilename(filename) |
session.SetFilename(filename) |
| 201 |
session.UnsetModified() |
session.UnsetModified() |
| 202 |
self.SetSession(session) |
self.SetSession(session) |
Parent Directory
| 
Revision Log
| 
Patch