From 73d45c98171d63b99c823351eb174a78ae1ef430 Mon Sep 17 00:00:00 2001
From: Jocelyn Fiat <git@djoce.net>
Date: Tue, 28 Oct 2014 12:52:23 +0100
Subject: [PATCH] Updated WSF_FILE_UTILITIES with class comment, and avoid
 having expanded generic class.

---
 library/server/wsf/src/support/wsf_file_utilities.e | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/library/server/wsf/src/support/wsf_file_utilities.e b/library/server/wsf/src/support/wsf_file_utilities.e
index c44b2af1..5c863bc3 100644
--- a/library/server/wsf/src/support/wsf_file_utilities.e
+++ b/library/server/wsf/src/support/wsf_file_utilities.e
@@ -1,9 +1,12 @@
 note
-	description: "Summary description for {WSF_FILE_UTILITIES}."
+	description: "[
+				This class is used to get a safe temporary file
+				in a specific directory, for an optional prefix, and an optional expected filename.
+			]"
 	date: "$Date$"
 	revision: "$Revision$"
 
-expanded class
+class
 	WSF_FILE_UTILITIES [G -> FILE create make_with_path end]
 
 feature -- Factory