diff agent/make/marks_notes.html @ 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 a61af66fc99e
children 5ed317b25e23
line wrap: on
line diff