add check also "dispserv_null" for "current_display_server" in video_display_server_destroy()

ShigeakiAsai · ShigeakiAsai · commit fc6cf8f495f8 · 2025-12-31T13:43:51.000+09:00
diff --git a/gfx/video_driver.c b/gfx/video_driver.c
@@ -1177,7 +1177,7 @@ void video_display_server_destroy(void)
    if (initial_screen_orientation != current_screen_orientation)
       video_display_server_set_screen_orientation(initial_screen_orientation);
 
-   if (current_display_server)
+   if (current_display_server && (current_display_server != &dispserv_null))
       if (video_st->current_display_server_data)
          current_display_server->destroy(video_st->current_display_server_data);
 }

Original file line number	Diff line number	Diff line change
`@@ -1177,7 +1177,7 @@ void video_display_server_destroy(void)`
`1177`	`1177`	`if (initial_screen_orientation != current_screen_orientation)`
`1178`	`1178`	`video_display_server_set_screen_orientation(initial_screen_orientation);`
`1179`	`1179`
`1180`		`- if (current_display_server)`
	`1180`	`+ if (current_display_server && (current_display_server != &dispserv_null))`
`1181`	`1181`	`if (video_st->current_display_server_data)`
`1182`	`1182`	`current_display_server->destroy(video_st->current_display_server_data);`
`1183`	`1183`	`}`