# HG changeset patch
# User robcast
# Date 1097852387 -7200
# Node ID b09009d7fcfc33a9e8162ec0333e21eb18576c9f
# Parent  87dca7119596908b55b4eb47273b7aa213bfa8f7
Servlet version 1.22b1
- more fast searching (hopefully all working now)
- some simple synchronisation
- some reshuffling of methods to eliminate cruft

diff -r 87dca7119596 -r b09009d7fcfc servlet/src/digilib/io/FileOpException.java
--- a/servlet/src/digilib/io/FileOpException.java	Fri Oct 15 16:59:47 2004 +0200
+++ b/servlet/src/digilib/io/FileOpException.java	Fri Oct 15 16:59:47 2004 +0200
@@ -1,33 +1,35 @@
 /*  FileOpException -- Exception class for file operations
 
-  Digital Image Library servlet components
+ Digital Image Library servlet components
 
-  Copyright (C) 2001, 2002 Robert Casties (robcast@mail.berlios.de)
+ Copyright (C) 2001, 2002 Robert Casties (robcast@mail.berlios.de)
 
-  This program is free software; you can redistribute  it and/or modify it
-  under  the terms of  the GNU General  Public License as published by the
-  Free Software Foundation;  either version 2 of the  License, or (at your
-  option) any later version.
-   
-  Please read license.txt for the full details. A copy of the GPL
-  may be found at http://www.gnu.org/copyleft/lgpl.html
+ This program is free software; you can redistribute  it and/or modify it
+ under  the terms of  the GNU General  Public License as published by the
+ Free Software Foundation;  either version 2 of the  License, or (at your
+ option) any later version.
+ 
+ Please read license.txt for the full details. A copy of the GPL
+ may be found at http://www.gnu.org/copyleft/lgpl.html
 
-  You should have received a copy of the GNU General Public License
-  along with this program; if not, write to the Free Software
-  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
+ You should have received a copy of the GNU General Public License
+ along with this program; if not, write to the Free Software
+ Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 
-*/
+ */
 
 package digilib.io;
 
 import java.io.IOException;
 
-
 public class FileOpException extends IOException {
 
-  public FileOpException() {
-  }
-  public FileOpException(String s) {
-    super(s);
-  }
+	private static final long serialVersionUID = 7299056561734277644L;
+
+	public FileOpException() {
+	}
+
+	public FileOpException(String s) {
+		super(s);
+	}
 }