org.activemath.util
Class PoolManager

java.lang.Object
  org.activemath.util.PoolManager

public class PoolManager
extends Object

Field Summary

protected static PoolManager

poolManager The Instance of the PoolManager.

Constructor Summary

protected

PoolManager()

Method Summary

boolean	cache(String user, String session, int page, String format, File file)
boolean	cache(String user, String session, int page, String format, String file)
boolean	clearCached(String user, String session, int page, String format)
File	getCached(String user, String session, int page, String format)
static PoolManager	getInstance()
protected void	init()
boolean	isCached(String user, String session, int page, String format)
static void	main(String[] args) Just for testing.
void	respondResult(File result, HttpServletResponse response, String mimetype)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

poolManager

protected static PoolManager poolManager

The Instance of the PoolManager.

Constructor Detail

PoolManager

protected PoolManager()

Method Detail

init

protected void init()

getInstance

public static PoolManager getInstance()

main

public static void main(String[] args)

Just for testing.

respondResult

public void respondResult(File result,
                          HttpServletResponse response,
                          String mimetype)
                   throws IOException

Throws:

IOException

cache

public boolean cache(String user,
                     String session,
                     int page,
                     String format,
                     File file)

Returns:

Returns true if caching succeeded.

cache

public boolean cache(String user,
                     String session,
                     int page,
                     String format,
                     String file)

clearCached

public boolean clearCached(String user,
                           String session,
                           int page,
                           String format)

Returns:

Returns true if caching succeeded.

isCached

public boolean isCached(String user,
                        String session,
                        int page,
                        String format)

getCached

public File getCached(String user,
                      String session,
                      int page,
                      String format)