Skip to content
Snippets Groups Projects
Select Git revision
  • 831fe6a29e9abc497a8c52eadff22753faa9c630
  • 3.9 default
  • develop
  • 6.0
  • 5.0
  • 4.0
  • scrutinizer-patch-4
  • scrutinizer-patch-3
  • scrutinizer-patch-2
  • scrutinizer-patch-1
  • 3.7
  • 3.8
  • 3.6
  • 3.9_backported
  • 3.8_backported
  • 3.7_backported
  • 3.5
  • 3.6_backported
  • 3.5_backported
  • 3.4
  • 3.3_backported
  • 6.0.4
  • 6.0.3
  • 5.0.7
  • 6.0.2
  • 6.0.1
  • 5.0.6
  • 6.0.0
  • 5.0.5
  • 6.0.0-rc
  • 5.0.4
  • 6.0.0-beta
  • 5.0.3
  • 4.0.6
  • 5.0.2
  • 5.0.1
  • 4.0.5
  • 5.0.0
  • 4.0.4
  • 5.0.0-rc2
  • 5.0.0-rc1
41 results

FunctionsTest.php

Christopher Bohn's avatar
Prevented NullPointerException when closing a null session
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
Christopher Bohn's avatar 2ddaaadc
History