format.sh must distinguish format timeouts and kill child processes

XMLWordPrintableJSON

    • Type: Bug
    • Resolution: Fixed
    • Priority: Minor - P4
    • WT10.0.0, 4.3.3, 4.2.3
    • Affects Version/s: None
    • Component/s: None
    • None
    • Storage Engines 2019-12-02, Storage Engines 2019-12-16
    • 3

      Summary:

          Change format.sh to catch format timeouts and to use process group semantics to ensure child processes aren't orphaned.

            Assignee:
            Keith Bostic (Inactive)
            Reporter:
            Keith Bostic (Inactive)
            Votes:
            0 Vote for this issue
            Watchers:
            1 Start watching this issue

              Created:
              Updated:
              Resolved: