comparison configure @ 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 24193f40f5a0
children 75e6ecda8c42
comparison
equal deleted inserted replaced
103249:019c8b2b5898 103250:3113546dd713