org.activemath.omdocjdom.collsync
Class CSServlet

java.lang.Object
  javax.servlet.GenericServlet
      javax.servlet.http.HttpServlet
          org.activemath.omdocjdom.collsync.CSServlet

All Implemented Interfaces:

Serializable, Servlet, ServletConfig

public class CSServlet
extends HttpServlet

This servlet is used to synchronize the content of collections over an http stream. It has three functions:

• list the contents of collections
• download or upload changed files
• lock or unlock changed files
• lock or unlock files for them to be changed

Paths called in from here are in the form of xxx/sync/[collection]/[path]/[operation] and generally require the credential of being an author

See Also:

Serialized Form

Field Summary

static String	DIR_ELEMENT_NAME
static String	DIRECTORY_MEDIA_TYPE
static String	FILE_ELEMENT_NAME
static org.apache.commons.logging.Log	LOG

Constructor Summary

CSServlet()

Method Summary

void	destroy()
void	init()
void	service(HttpServletRequest req, HttpServletResponse resp)

Methods inherited from class javax.servlet.http.HttpServlet

doDelete, doGet, doHead, doOptions, doPost, doPut, doTrace, getLastModified, service

Methods inherited from class javax.servlet.GenericServlet

getInitParameter, getInitParameterNames, getServletConfig, getServletContext, getServletInfo, getServletName, init, log, log

Methods inherited from class java.lang.Object

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

Field Detail

FILE_ELEMENT_NAME

public static final String FILE_ELEMENT_NAME

See Also:

Constant Field Values

DIR_ELEMENT_NAME

public static final String DIR_ELEMENT_NAME

See Also:

Constant Field Values

LOG

public static final org.apache.commons.logging.Log LOG

DIRECTORY_MEDIA_TYPE

public static final String DIRECTORY_MEDIA_TYPE

See Also:

Constant Field Values

Constructor Detail

CSServlet

public CSServlet()

Method Detail

service

public void service(HttpServletRequest req,
                    HttpServletResponse resp)
             throws IOException

Overrides:

service in class HttpServlet

Throws:

IOException

init

public void init()

Overrides:

init in class GenericServlet

destroy

public void destroy()

Specified by:

destroy in interface Servlet

Overrides:

destroy in class GenericServlet