Skip to content
Snippets Groups Projects
Select Git revision
  • main
1 result

2024-fall-homework-2

Christopher Bohn's avatar
Christopher Bohn authored
Since the end-state of closeSession() is to have a null session, if
session is already null, there is nothing to do.
2ddaaadc
History
Name Last commit Last update