From 916ea4510c35e1e37cf2ff53f48df20a1a1998bf Mon Sep 17 00:00:00 2001 From: John Estabrook Date: Tue, 14 Oct 2025 15:54:52 -0700 Subject: T7910: drop proposed_config field from session record After the move in T7728 to dynamically generate the session proposed config, the record field can be dropped. --- src/vyconfd.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'src/vyconfd.ml') diff --git a/src/vyconfd.ml b/src/vyconfd.ml index 05cd693..caaee9c 100644 --- a/src/vyconfd.ml +++ b/src/vyconfd.ml @@ -113,11 +113,10 @@ let enter_conf_mode req token = if req.exclusive then (conf_mode_lock := Some session.client_pid; aux token session) else aux token session -let exit_conf_mode world token = +let exit_conf_mode _world token = let open Session in let session = Hashtbl.find sessions token in let session = {session with - proposed_config=world.running_config; changeset = []; modified = false} in Hashtbl.replace sessions token session; -- cgit v1.2.3