[SERVER-81976] Fix RecordId GDB pretty printer Created: 09/Oct/23  Updated: 29/Oct/23  Resolved: 13/Oct/23

Status: Closed
Project: Core Server
Component/s: None
Affects Version/s: None
Fix Version/s: 7.2.0-rc0

Type: Bug Priority: Major - P3
Reporter: Jordi Olivares Provencio Assignee: David Dominguez Sal
Resolution: Fixed Votes: 0
Labels: None
Remaining Estimate: Not Specified
Time Spent: Not Specified
Original Estimate: Not Specified

Issue Links:
Problem/Incident
is caused by SERVER-76755 RecordId self reference assignment ca... Closed
Backwards Compatibility: Fully Compatible
Operating System: ALL
Sprint: Execution EMEA Team 2023-10-16
Participants:

 Description   

I noticed during debugging that the RecordId pretty printer stopped working due to SERVER-76755.



 Comments   
Comment by Githook User [ 13/Oct/23 ]

Author:

{'name': 'David Dominguez-Sal', 'email': 'david.dominguez@mongodb.com', 'username': ''}

Message: SERVER-81976 Update pretty printers for RecordId
Branch: master
https://github.com/mongodb/mongo/commit/85b1d6cf34a6407a7fc527d869f53afa0b9cce9e

Comment by David Dominguez Sal [ 13/Oct/23 ]

Fixed. Updated pretty print

Generated at Thu Feb 08 06:47:53 UTC 2024 using Jira 9.7.1#970001-sha1:2222b88b221c4928ef0de3161136cc90c8356a66.