diff update-subdirs @ 103250:3113546dd713

(x_delete_display): Don't call XrmDestroyDatabase here. (x_delete_terminal): Dissociate resource database from display and then call XrmDestroyDatabase before closing display.
author YAMAMOTO Mitsuharu <mituharu@math.s.chiba-u.ac.jp>
date Tue, 19 May 2009 00:26:46 +0000
parents f7624bb0bd1f
children 1d1d5d9bd884
line wrap: on
line diff