Thread overview | |||||
---|---|---|---|---|---|
|
March 06, 2019 [Issue 19723] wrong time values in GC.profileStats | ||||
---|---|---|---|---|
| ||||
https://issues.dlang.org/show_bug.cgi?id=19723 Dlang Bot <dlang-bot@dlang.rocks> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |pull --- Comment #1 from Dlang Bot <dlang-bot@dlang.rocks> --- @rainers created dlang/druntime pull request #2507 "fix Issue 19723: wrong time values in GC.profileStats" fixing this issue: - fix Issue 19723 wrong time values in GC.profileStats missing start time initialization without PC option profile:1 https://github.com/dlang/druntime/pull/2507 -- |
March 06, 2019 [Issue 19723] wrong time values in GC.profileStats | ||||
---|---|---|---|---|
| ||||
https://issues.dlang.org/show_bug.cgi?id=19723 Rainer Schuetze <r.sagitario@gmx.de> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |r.sagitario@gmx.de --- Comment #2 from Rainer Schuetze <r.sagitario@gmx.de> --- Currently only works when passing --DRT-gcopt=profile:1 on the command line. -- |
March 07, 2019 [Issue 19723] wrong time values in GC.profileStats | ||||
---|---|---|---|---|
| ||||
https://issues.dlang.org/show_bug.cgi?id=19723 Dlang Bot <dlang-bot@dlang.rocks> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |FIXED --- Comment #3 from Dlang Bot <dlang-bot@dlang.rocks> --- dlang/druntime pull request #2507 "fix Issue 19723: wrong time values in GC.profileStats" was merged into stable: - 1104a04765646b5a197ebefd18c94ecc0b5290ff by Rainer Schuetze: fix Issue 19723 wrong time values in GC.profileStats missing start time initialization without PC option profile:1 https://github.com/dlang/druntime/pull/2507 -- |
Copyright © 1999-2021 by the D Language Foundation