mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 309b22 | patch | commitdiff
jdemendi
02.57.2008 b80896388ac379743612828c068a86991101a3ec
refs
author jdemendi <jdemendi@localhost>
Tuesday, December 2, 2008 15:57 +0100
committer jdemendi <jdemendi@localhost>
Tuesday, December 2, 2008 15:57 +0100
commitb80896388ac379743612828c068a86991101a3ec
tree 39787112ef1f36c87196db5ea48399ac01308f12 tree | zip | gz
parent 309b2218a5187eccabeac2114eec3c7b926f3256 view | diff 
add notification system for the saturation index of the workflow element
2 files added
2 files modified
268 ■■■■■ changed files
opends/src/server/org/opends/server/workflowelement/ObservableWorkflowElement.java 67 ●●●●● diff | view | raw | blame | history
opends/src/server/org/opends/server/workflowelement/ObservableWorkflowElementState.java 24 ●●●●● diff | view | raw | blame | history
opends/src/server/org/opends/server/workflowelement/ObservableWorkflowElementStatus.java 105 ●●●●● diff | view | raw | blame | history
opends/src/server/org/opends/server/workflowelement/WorkflowElement.java 72 ●●●●● diff | view | raw | blame | history