eiffelstudio-public - Revision 107692: /trunk/Src/contrib/library/web/framework/ewf/httpd/concurrency/thread/pool
..
pooled_thread.e
thread_pool.e