diff THIRD_PARTY_README @ 1967:22260322f0be

6751923: JNDI wake up when clock_settime() is called Summary: Ported Chris Phillips' patch from jdk5 to jdk7 Reviewed-by: chrisphi, coleenp
author zgu
date Thu, 18 Nov 2010 14:37:46 -0500
parents c18cbe5936b8
children 1aa57c62d0e4
line wrap: on
line diff