diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-09-13 21:51:20 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-13 21:51:20 +0200 |
| commit | 70ba36674351f9d585cf8ab80a2faa390b52da71 (patch) | |
| tree | bcb87f26248ad8209406954c7fadf4ee9a4d92a5 /servers/display_server.cpp | |
| parent | f6022d2aa8973517858bbc673f300ba2ed08884c (diff) | |
| parent | ce064348fa8ffeff0527133a7c86e018193ab29c (diff) | |
Merge pull request #50375 from Paulb23/code_edit_unit_tests
Diffstat (limited to 'servers/display_server.cpp')
| -rw-r--r-- | servers/display_server.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/servers/display_server.cpp b/servers/display_server.cpp index 3d44484033..cdf892094d 100644 --- a/servers/display_server.cpp +++ b/servers/display_server.cpp @@ -605,4 +605,5 @@ DisplayServer::DisplayServer() { } DisplayServer::~DisplayServer() { + singleton = nullptr; } |