Uploaded image for project: 'Core Server'
  1. Core Server
  2. SERVER-26731

Add source server support to Windows PDB

    XMLWordPrintableJSON

Details

    • Icon: Task Task
    • Resolution: Won't Do
    • Icon: Minor - P4 Minor - P4
    • None
    • None
    • None
    • None
    • Server Development Platform

    Description

      Microsoft PDB files, and development tools support "Source Server". This allows a user to embed the Git location of each file into the PDB with the exact path to each file used to build the product. This allows a user to debug a crash dump and/or binary and examine the corresponding source file without the need for a local copy of the source. There is no need to sync a local repository. This mechanism does not add code to the PDB, but pointers to the repository locations for each file.

      Background:
      https://msdn.microsoft.com/en-us/library/windows/hardware/ff558791(v=vs.85).aspx
      https://github.com/GitTools/GitLink

      Attachments

        Activity

          People

            backlog-server-devplatform [DO NOT ASSIGN] Backlog - Server Development Platform Team (SDP) (Inactive)
            mark.benvenuto@mongodb.com Mark Benvenuto
            Votes:
            0 Vote for this issue
            Watchers:
            4 Start watching this issue

            Dates

              Created:
              Updated:
              Resolved: