
	end if;

	-- rob says we want an update if the time changes, but I don't
	-- know of any way to do this that won't result in a mutating
	-- table during the trigger in the delete_server() case, so we're
	-- not doing it now.
end;
ALTER TRIGGER "SPACEUSER"."RHN_KS_SESSION_HISTORY_TRIGGER" ENABLE
/
