-
Type:
Bug
-
Resolution: Won't Fix
-
Priority:
Major - P3
-
None
-
Affects Version/s: None
-
Component/s: Testing Infrastructure
-
Fully Compatible
-
ALL
-
None
-
3
-
None
-
None
-
None
-
None
-
None
-
None
A new defect has been detected and assigned to redbeard0531 in Coverity Connect http://coverity.mongodb.com//sourcebrowser.htm?projectId=10001#mergedDefectId=10181
The defect was flagged by checker RESOURCE_LEAK in
file /src/mongo/shell/linenoise.cpp
function InputBuffer::incrementalHistorySearch(PromptBase &, int)
and this ticket was created by matt.kangas@10gen.com