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