diff options
| author | William Schultz <william.schultz@mongodb.com> | 2019-07-24 16:50:40 -0400 |
|---|---|---|
| committer | William Schultz <william.schultz@mongodb.com> | 2019-07-25 17:10:08 -0400 |
| commit | ca14e7349efa9188b8beceb5489325c32328ec96 (patch) | |
| tree | a89706277031d0470c5a9dbef71497710ff1bb82 | |
| parent | 1fc5b950369f69cf9d02b8bfc7a07ccf79bbcae4 (diff) | |
| download | mongo-ca14e7349efa9188b8beceb5489325c32328ec96.tar.gz | |
SERVER-42371 Use get_unique_ptr helper in mongod-dump-sessions GDB command
(cherry picked from commit e09a81707daf75e8965cc10d909282db158bc809)
| -rw-r--r-- | buildscripts/gdb/mongo.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/buildscripts/gdb/mongo.py b/buildscripts/gdb/mongo.py index 2e87def1902..b1190231d53 100644 --- a/buildscripts/gdb/mongo.py +++ b/buildscripts/gdb/mongo.py @@ -276,7 +276,7 @@ class DumpMongoDSessionCatalog(gdb.Command): for sess_kv in session_kv_pairs: # The Session is stored inside the SessionRuntimeInfo object. - session_runtime_info = sess_kv['second']['_M_ptr'].dereference() + session_runtime_info = get_unique_ptr(sess_kv['second']).dereference() # pylint: disable=undefined-variable session = session_runtime_info['session'] # TODO: Add a custom pretty printer for LogicalSessionId. lsid_str = str(session['_sessionId']['_id']) |