destroy method Null safety

void destroy ()

Destroys the session.

This terminates the session and any further connections with this id will be given a new id and session.

Implementation

void destroy();