From 7fe3becf2d134e35eaa40101984f4085ba4cfb0f Mon Sep 17 00:00:00 2001 From: Paul Davis Date: Fri, 21 Jul 2023 21:13:52 -0600 Subject: [PATCH] temporal: fix TimeDomainProvider::set_time_domain_parent() to unset have_domain --- libs/temporal/temporal/domain_provider.h | 1 + 1 file changed, 1 insertion(+) diff --git a/libs/temporal/temporal/domain_provider.h b/libs/temporal/temporal/domain_provider.h index 5d8d6c03c9..0ed3ea4eef 100644 --- a/libs/temporal/temporal/domain_provider.h +++ b/libs/temporal/temporal/domain_provider.h @@ -62,6 +62,7 @@ class TimeDomainProvider { parent_connection.disconnect (); TimeDomain old_domain = time_domain(); parent = &p; + have_domain = false; TimeDomain new_domain = time_domain (); if (old_domain != new_domain) { TimeDomainChanged ();