mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 3d5c0e | patch | commitdiff
ctissot
20.33.2008 1e197fe96f072e4a59802682dfa00c78a41b708c
refs
author ctissot <ctissot@localhost>
Thursday, November 20, 2008 17:33 +0100
committer ctissot <ctissot@localhost>
Thursday, November 20, 2008 17:33 +0100
commit1e197fe96f072e4a59802682dfa00c78a41b708c
tree 6111974551a1d7ab4c266e22e65c30eef60211f9 tree | zip | gz
parent 3d5c0e133cb2c66ed8b523b131773107c95deb6f view | diff 
Fix issue 3547: Persistent search can not be abandoned
1 files modified
37 ■■■■■ changed files
opends/src/server/org/opends/server/core/AbandonOperationBasis.java 37 ●●●●● diff | view | raw | blame | history