external-software/github_OpenIdentityPlatform_OpenDJ.git - g.central-computer.de

external-software / github_OpenIdentityPlatform_OpenDJ

mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

history | zip | gz

- play it safe and make exitRequested volatile.

abobrov

07.08.2009 43734c1910bc6428a82d7abfb76ab282acb484e2

	..			drwxr-xr-x
	dseecompat			drwxr-xr-x	tree \| history \| zip \| gz
	package-info.java		2 KB	-rw-r--r--	view \| raw \| blame \| history