sl@0: // Copyright (c) 1995-2009 Nokia Corporation and/or its subsidiary(-ies).
sl@0: // All rights reserved.
sl@0: // This component and the accompanying materials are made available
sl@0: // under the terms of the License "Eclipse Public License v1.0"
sl@0: // which accompanies this distribution, and is available
sl@0: // at the URL "http://www.eclipse.org/legal/epl-v10.html".
sl@0: //
sl@0: // Initial Contributors:
sl@0: // Nokia Corporation - initial contribution.
sl@0: //
sl@0: // Contributors:
sl@0: //
sl@0: // Description:
sl@0: // e32\ewsrv\ws_utl.cpp
sl@0: // 
sl@0: //
sl@0: 
sl@0: #include "ws_std.h"
sl@0: 
sl@0: GLDEF_C void Fault(TWsFault aFault)
sl@0: //
sl@0: // Fault the window server.
sl@0: //
sl@0: 	{
sl@0: 
sl@0: 	User::Panic(_L("WServ fault"),aFault);
sl@0: 	}