examples: separate compositor_fini from run

compositor_fini destroys the display, but it is an error to destroy it
before e.g. wlr_seat that references it.
This lets us order destroy calls properly, following first-in-last-out
logic.

examples/compositor/main.c

@@ -178,9 +178,13 @@ int main() {
 		break;
 	}
 
-	compositor_run(&compositor);
+	wl_display_run(compositor.display);
 
-	wlr_wl_shell_destroy(state.wl_shell);
-	wlr_xdg_shell_v6_destroy(state.xdg_shell);
 	close(state.keymap_fd);
+	wlr_seat_destroy(state.wl_seat);
+	wlr_data_device_manager_destroy(state.data_device_manager);
+	wlr_xdg_shell_v6_destroy(state.xdg_shell);
+	wlr_wl_shell_destroy(state.wl_shell);
+	wlr_renderer_destroy(state.renderer);
+	compositor_fini(&compositor);
 }

examples/output-layout.c

@@ -198,10 +198,11 @@ int main(int argc, char *argv[]) {
 	wlr_texture_upload_pixels(state.cat_texture, WL_SHM_FORMAT_ABGR8888,
 		cat_tex.width, cat_tex.width, cat_tex.height, cat_tex.pixel_data);
 
-	compositor_run(&compositor);
+	wl_display_run(compositor.display);
 
 	wlr_texture_destroy(state.cat_texture);
 	wlr_renderer_destroy(state.renderer);
+	compositor_fini(&compositor);
 
 	wlr_output_layout_destroy(state.layout);
 

examples/pointer.c

@@ -146,7 +146,8 @@ int main(int argc, char *argv[]) {
 	}
 
 	compositor_init(&compositor);
-	compositor_run(&compositor);
+	wl_display_run(compositor.display);
+	compositor_fini(&compositor);
 
 	wlr_xcursor_theme_destroy(theme);
 }

examples/rotation.c

@@ -145,10 +145,11 @@ int main(int argc, char *argv[]) {
 	wlr_texture_upload_pixels(state.cat_texture, WL_SHM_FORMAT_ABGR8888,
 		cat_tex.width, cat_tex.width, cat_tex.height, cat_tex.pixel_data);
 
-	compositor_run(&compositor);
+	wl_display_run(compositor.display);
 
 	wlr_texture_destroy(state.cat_texture);
 	wlr_renderer_destroy(state.renderer);
+	compositor_fini(&compositor);
 
 	example_config_destroy(state.config);
 }

examples/shared.c

@@ -674,8 +674,7 @@ void compositor_init(struct compositor_state *state) {
 	}
 }
 
-void compositor_run(struct compositor_state *state) {
-	wl_display_run(state->display);
+void compositor_fini(struct compositor_state *state) {
 	wlr_backend_destroy(state->backend);
 	wl_display_destroy(state->display);
 }

examples/shared.h

@@ -151,6 +151,6 @@ struct compositor_state {
 };
 
 void compositor_init(struct compositor_state *state);
-void compositor_run(struct compositor_state *state);
+void compositor_fini(struct compositor_state *state);
 
 #endif

examples/simple.c

@@ -52,5 +52,6 @@ int main() {
 		.output_frame_cb = handle_output_frame,
 	};
 	compositor_init(&compositor);
-	compositor_run(&compositor);
+	wl_display_run(compositor.display);
+	compositor_fini(&compositor);
 }

examples/tablet.c

@@ -158,7 +158,8 @@ int main(int argc, char *argv[]) {
 		wlr_log(L_ERROR, "Could not start compositor, OOM");
 		exit(EXIT_FAILURE);
 	}
-	compositor_run(&compositor);
+	wl_display_run(compositor.display);
 
 	wlr_renderer_destroy(state.renderer);
+	compositor_fini(&compositor);
 }

examples/touch.c

@@ -120,8 +120,9 @@ int main(int argc, char *argv[]) {
 	wlr_texture_upload_pixels(state.cat_texture, WL_SHM_FORMAT_ARGB8888,
 		cat_tex.width, cat_tex.width, cat_tex.height, cat_tex.pixel_data);
 
-	compositor_run(&compositor);
+	wl_display_run(compositor.display);
 
 	wlr_texture_destroy(state.cat_texture);
 	wlr_renderer_destroy(state.renderer);
+	compositor_fini(&compositor);
 }