From c895d331c9c791de2a1ba9fac405ce9dd2ee3d3b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Axel=20D=C3=B6rfler?= <axeld@pinc-software.de>
Date: Sun, 12 May 2013 21:05:05 +0200
Subject: [PATCH] app_server: added an ASSERT to Desktop::_Windows().

* So that something like #9595 should not happen again.
---
 src/servers/app/Desktop.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/servers/app/Desktop.cpp b/src/servers/app/Desktop.cpp
index f9e8d4553c..808ac9272a 100644
--- a/src/servers/app/Desktop.cpp
+++ b/src/servers/app/Desktop.cpp
@@ -2704,6 +2704,7 @@ Desktop::WindowForClientLooperPort(port_id port)
 WindowList&
 Desktop::_Windows(int32 index)
 {
+	ASSERT(index >= 0 && index < kMaxWorkspaces);
 	return fWorkspaces[index].Windows();
 }