01: /*
02: * regain - A file search engine providing plenty of formats
03: * Copyright (C) 2004 Til Schneider
04: *
05: * This library is free software; you can redistribute it and/or
06: * modify it under the terms of the GNU Lesser General Public
07: * License as published by the Free Software Foundation; either
08: * version 2.1 of the License, or (at your option) any later version.
09: *
10: * This library is distributed in the hope that it will be useful,
11: * but WITHOUT ANY WARRANTY; without even the implied warranty of
12: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13: * Lesser General Public License for more details.
14: *
15: * You should have received a copy of the GNU Lesser General Public
16: * License along with this library; if not, write to the Free Software
17: * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
18: *
19: * Contact: Til Schneider, info@murfman.de
20: *
21: * CVS information:
22: * $RCSfile$
23: * $Source$
24: * $Date: 2005-03-16 13:53:50 +0100 (Mi, 16 Mrz 2005) $
25: * $Author: til132 $
26: * $Revision: 90 $
27: */
28: package net.sf.regain.ui.desktop;
29:
30: import java.io.File;
31:
32: /**
33: * Constants used by the desktop search.
34: *
35: * @author Til Schneider, www.murfman.de
36: */
37: public interface DesktopConstants {
38:
39: /** The default port for the webserver. */
40: public static final int DEFAULT_PORT = 8020;
41:
42: /** The directory where the log files are located. */
43: public static final File LOG_DIR = new File("log");
44:
45: /** The directory where the index is located. */
46: public static final File INDEX_DIR = new File("searchindex");
47:
48: /** The file that holds the timestamp when the index was updated the last time. */
49: public static final File LASTUPDATE_FILE = new File(INDEX_DIR,
50: "lastupdate");
51:
52: /** The file that indicates that index should be updated if the file exists. */
53: public static final File NEEDSUPDATE_FILE = new File(INDEX_DIR,
54: "needsupdate");
55:
56: /** The directory where the configuration files are located. */
57: public static final File CONFIG_DIR = new File("conf");
58:
59: /** The directory where the default configuration files are located. */
60: public static final File DEFAULT_CONFIG_DIR = new File(CONFIG_DIR,
61: "default");
62:
63: /** The file that holds the desktop configuration. */
64: public static final File DESKTOP_CONFIG_FILE = new File(CONFIG_DIR,
65: "DesktopConfiguration.xml");
66:
67: /** The file that holds the default desktop configuration. */
68: public static final File DEFAULT_DESKTOP_CONFIG_FILE = new File(
69: DEFAULT_CONFIG_DIR, "DesktopConfiguration.xml");
70:
71: /** The file that holds the crawler configuration. */
72: public static final File CRAWLER_CONFIG_FILE = new File(CONFIG_DIR,
73: "CrawlerConfiguration.xml");
74:
75: /** The file that holds the crawler configuration. */
76: public static final File DEFAULT_CRAWLER_CONFIG_FILE = new File(
77: DEFAULT_CONFIG_DIR, "CrawlerConfiguration.xml");
78:
79: }
|