diff etc/nxml/01400-0167F.el @ 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 1ac7b000f2e6
children ef719132ddfa
line wrap: on
line diff