diff make-dist @ 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 c86e2f4ec9f8
children a4c64847c698
line wrap: on
line diff