core: session: only create one session to access options when there's no current session#1565

flit merged 1 commit intopyocd:mainpyocd/pyOCD:mainfrom

flit:bugfix/repeated_session_loadflit/pyOCD:bugfix/repeated_session_loadCopy head branch name to clipboard