]> git.lyx.org Git - features.git/blobdiff - src/support/filetools.C
Replace LString.h with support/std_string.h,
[features.git] / src / support / filetools.C
index c691ebc094e526f7853b720dbd2ada4ca178b12b..e0d333b0967be3a5b44d44926118d53ce8a4eaae 100644 (file)
@@ -1,40 +1,53 @@
-/*
-       filetools.C (former paths.C) - part of LyX project
-       General path-mangling functions 
-       Copyright 1996 Ivan Schreter
-       Parts Copyright 1996 Dirk Niggemann
-        Parts Copyright 1985, 1990, 1993 Free Software Foundation, Inc.
-       Parts Copyright 1996 Asger Alstrup
-       
-       See also filetools.H.
+/**
+ * \file filetools.C
+ * This file is part of LyX, the document processor.
+ * Licence details can be found in the file COPYING.
+ *
+ * parts Copyright 1985, 1990, 1993 Free Software Foundation, Inc.
+ *
+ * \author Ivan Schreter
+ * \author Dirk Niggemann
+ * \author Asger Alstrup
+ * \author Lars Gullik Bjønnes
+ * \author Jean-Marc Lasgouttes
+ * \author Angus Leeming
+ * \author John Levon
+ * \author Herbert Voss
+ *
+ * This file is part of LyX, the document processor.
+ * Licence details can be found in the file COPYING.
+ *
+ * General path-mangling functions
+ */
 
-       lyx-filetool.C : tools functions for file/path handling
-       this file is part of LyX, the High Level Word Processor
-       Copyright 1995-1996, Matthias Ettrich and the LyX Team
+#include <config.h>
 
-*/
+#include "debug.h"
+#include "support/tostr.h"
+#include "support/systemcall.h"
+#include "support/LAssert.h"
 
-#include <config.h>
+#include "filetools.h"
+#include "lstrings.h"
+#include "FileInfo.h"
+#include "path.h"
+#include "path_defines.h"
+#include "gettext.h"
+#include "lyxlib.h"
+#include "os.h"
 
+#include "support/std_sstream.h"
+
+#include <boost/cregex.hpp>
 #include <cctype>
+#include <cstdlib>
+#include <cstdio>
+#include <fcntl.h>
+#include <cerrno>
 
 #include <utility>
 #include <fstream>
 
-#include "Lsstream.h"
-
-#ifdef __GNUG__
-#pragma implementation "filetools.h"
-#endif
-
-#include "filetools.h"
-#include "LSubstring.h"
-#include "lyx_gui_misc.h"
-#include "FileInfo.h"
-#include "support/path.h"        // I know it's OS/2 specific (SMiyata)
-#include "support/syscall.h"
-#include "gettext.h"
-#include "lyxlib.h"
 
 // Which part of this is still necessary? (JMarc).
 #if HAVE_DIRENT_H
 # endif
 #endif
 
+#ifndef CXX_GLOBAL_CSTD
+using std::fgetc;
+using std::isalpha;
+using std::isalnum;
+#endif
+
 using std::make_pair;
 using std::pair;
 using std::endl;
 using std::ifstream;
 using std::vector;
+using std::getline;
 
-#if 0
-using std::getenv;
-using std::isalpha;
-using std::isalnum;
-using std::popen;
-#endif
-
-extern string system_lyxdir;
-extern string build_lyxdir;
-extern string user_lyxdir;
-extern string system_tempdir;
 
+namespace lyx {
+namespace support {
 
 bool IsLyXFilename(string const & filename)
 {
-       return contains(filename, ".lyx");
+       return suffixIs(ascii_lowercase(filename), ".lyx");
 }
 
 
 bool IsSGMLFilename(string const & filename)
 {
-       return contains(filename, ".sgml");
+       return suffixIs(ascii_lowercase(filename), ".sgml");
 }
 
 
@@ -90,7 +101,7 @@ string const MakeLatexName(string const & file)
 {
        string name = OnlyFilename(file);
        string const path = OnlyPath(file);
-       
+
        for (string::size_type i = 0; i < name.length(); ++i) {
                name[i] &= 0x7f; // set 8th bit to 0
        };
@@ -99,7 +110,7 @@ string const MakeLatexName(string const & file)
        string const keep("abcdefghijklmnopqrstuvwxyz"
                "ABCDEFGHIJKLMNOPQRSTUVWXYZ"
                "@!\"'()*+,-./0123456789:;<=>?[]`|");
-       
+
        string::size_type pos = 0;
        while ((pos = name.find_first_not_of(keep, pos)) != string::npos) {
                name[pos++] = '_';
@@ -111,33 +122,28 @@ string const MakeLatexName(string const & file)
 // Substitutes spaces with underscores in filename (and path)
 string const QuoteName(string const & name)
 {
-       // CHECK Add proper emx support here!
-#ifndef __EMX__
-       return "\'" + name + "\'";
-#else
-       return name; 
-#endif
+       return (os::shell() == os::UNIX) ?
+               '\'' + name + '\'':
+               '"' + name + '"';
 }
 
 
 // Is a file readable ?
-bool IsFileReadable (string const & path)
+bool IsFileReadable(string const & path)
 {
        FileInfo file(path);
-       if (file.isOK() && file.isRegular() && file.readable())
-               return true;
-       else
-               return false;
+       return file.isOK() && file.isRegular() && file.readable();
 }
 
 
 // Is a file read_only?
 // return 1 read-write
 //       0 read_only
-//      -1 error (doesn't exist, no access, anything else) 
-int IsFileWriteable (string const & path)
+//      -1 error (doesn't exist, no access, anything else)
+int IsFileWriteable(string const & path)
 {
        FileInfo fi(path);
+
        if (fi.access(FileInfo::wperm|FileInfo::rperm)) // read-write
                return 1;
        if (fi.readable()) // read-only
@@ -146,24 +152,19 @@ int IsFileWriteable (string const & path)
 }
 
 
-//returns 1: dir writeable
-//       0: not writeable
-//      -1: error- couldn't find out
-int IsDirWriteable (string const & path)
+//returns true: dir writeable
+//       false: not writeable
+bool IsDirWriteable(string const & path)
 {
-        string const tmpfl(lyx::tempName(path, "lyxwritetest"));
-       // We must unlink the tmpfl.
-       lyx::unlink(tmpfl);
-       
-       if (tmpfl.empty()) {
-               WriteFSAlert(_("LyX Internal Error!"), 
-                            _("Could not test if directory is writeable"));
-               return -1;
-       } else {
-               FileInfo fi(path);
-               if (fi.writable()) return 1;
-               return 0;
-       }
+       lyxerr[Debug::FILES] << "IsDirWriteable: " << path << endl;
+
+       string const tmpfl(tempName(path, "lyxwritetest"));
+
+       if (tmpfl.empty())
+               return false;
+
+       unlink(tmpfl);
+       return true;
 }
 
 
@@ -172,26 +173,27 @@ int IsDirWriteable (string const & path)
 // If path entry begins with $$LyX/, use system_lyxdir
 // If path entry begins with $$User/, use user_lyxdir
 // Example: "$$User/doc;$$LyX/doc"
-string const FileOpenSearch (string const & path, string const & name, 
+string const FileOpenSearch(string const & path, string const & name,
                             string const & ext)
 {
-       string real_file, path_element;
+       string real_file;
+       string path_element;
        bool notfound = true;
        string tmppath = split(path, path_element, ';');
-       
+
        while (notfound && !path_element.empty()) {
-               path_element = CleanupPath(path_element);
+               path_element = os::slashify_path(path_element);
                if (!suffixIs(path_element, '/'))
                        path_element+= '/';
-               path_element = subst(path_element, "$$LyX", system_lyxdir);
-               path_element = subst(path_element, "$$User", user_lyxdir);
-               
+               path_element = subst(path_element, "$$LyX", system_lyxdir());
+               path_element = subst(path_element, "$$User", user_lyxdir());
+
                real_file = FileSearch(path_element, name, ext);
-               
+
                if (real_file.empty()) {
                        do {
                                tmppath = split(tmppath, path_element, ';');
-                       } while(!tmppath.empty() && path_element.empty());
+                       } while (!tmppath.empty() && path_element.empty());
                } else {
                        notfound = false;
                }
@@ -210,11 +212,20 @@ string const FileOpenSearch (string const & path, string const & name,
 vector<string> const DirList(string const & dir, string const & ext)
 {
        // This is a non-error checking C/system implementation
-       string extension(ext);
-       if (!extension.empty() && extension[0] != '.')
-               extension.insert(0, ".");
+       string extension;
+       if (!ext.empty() && ext[0] != '.')
+               extension += '.';
+       extension += ext;
+
        vector<string> dirlist;
        DIR * dirp = ::opendir(dir.c_str());
+       if (!dirp) {
+               lyxerr[Debug::FILES]
+                       << "Directory \"" << dir
+                       << "\" does not exist to DirList." << endl;
+               return dirlist;
+       }
+
        dirent * dire;
        while ((dire = ::readdir(dirp))) {
                string const fil = dire->d_name;
@@ -232,13 +243,13 @@ vector<string> const DirList(string const & dir, string const & ext)
        */
        /* A C++ implementaion will look like this:
           string extension(ext);
-          if (extension[0] != '.') extension.insert(0, ".");
+          if (extension[0] != '.') extension.insert(0, 1, '.');
           vector<string> dirlist;
           directory_iterator dit("dir");
           while (dit != directory_iterator()) {
-                  string fil = (*dit).filename;
+                  string fil = dit->filename;
                   if (prefixIs(fil, extension)) {
-                          dirlist.push_back(fil);
+                          dirlist.push_back(fil);
                   }
                   ++dit;
           }
@@ -249,26 +260,25 @@ vector<string> const DirList(string const & dir, string const & ext)
 
 
 // Returns the real name of file name in directory path, with optional
-// extension ext.  
-string const FileSearch(string const & path, string const & name, 
+// extension ext.
+string const FileSearch(string const & path, string const & name,
                        string const & ext)
 {
        // if `name' is an absolute path, we ignore the setting of `path'
        // Expand Environmentvariables in 'name'
        string const tmpname = ReplaceEnvironmentPath(name);
        string fullname = MakeAbsPath(tmpname, path);
-       
        // search first without extension, then with it.
        if (IsFileReadable(fullname))
                return fullname;
-       else if (ext.empty()) 
+       else if (ext.empty())
                return string();
        else { // Is it not more reasonable to use ChangeExtension()? (SMiyata)
                fullname += '.';
                fullname += ext;
                if (IsFileReadable(fullname))
                        return fullname;
-               else 
+               else
                        return string();
        }
 }
@@ -278,30 +288,43 @@ string const FileSearch(string const & path, string const & name,
 //   1) user_lyxdir
 //   2) build_lyxdir (if not empty)
 //   3) system_lyxdir
-string const LibFileSearch(string const & dir, string const & name, 
+string const LibFileSearch(string const & dir, string const & name,
                           string const & ext)
 {
-        string fullname = FileSearch(AddPath(user_lyxdir, dir),
-                                    name, ext); 
+       string fullname = FileSearch(AddPath(user_lyxdir(), dir), name, ext);
        if (!fullname.empty())
                return fullname;
-       
-       if (!build_lyxdir.empty()) 
-               fullname = FileSearch(AddPath(build_lyxdir, dir), 
-                                     name, ext);
+
+       if (!build_lyxdir().empty())
+               fullname = FileSearch(AddPath(build_lyxdir(), dir), name, ext);
        if (!fullname.empty())
                return fullname;
-       
-       return FileSearch(AddPath(system_lyxdir, dir), name, ext);
+
+       return FileSearch(AddPath(system_lyxdir(), dir), name, ext);
 }
 
 
 string const
-i18nLibFileSearch(string const & dir, string const & name, 
+i18nLibFileSearch(string const & dir, string const & name,
                  string const & ext)
 {
-       string const lang = token(string(GetEnv("LANG")), '_', 0);
-       
+       // this comment is from intl/dcigettext.c. We try to mimick this
+       // behaviour here.
+       /* The highest priority value is the `LANGUAGE' environment
+          variable. But we don't use the value if the currently
+          selected locale is the C locale. This is a GNU extension. */
+
+       string const lc_all = GetEnv("LC_ALL");
+       string lang = GetEnv("LANGUAGE");
+       if (lang.empty() || lc_all == "C") {
+               lang = lc_all;
+               if (lang.empty()) {
+                       lang = GetEnv("LANG");
+               }
+       }
+
+       lang = token(lang, '_', 0);
+
        if (lang.empty() || lang == "C")
                return LibFileSearch(dir, name, ext);
        else {
@@ -315,75 +338,61 @@ i18nLibFileSearch(string const & dir, string const & name,
 }
 
 
-string const GetEnv(string const & envname)
+string const LibScriptSearch(string const & command_in)
 {
-        // f.ex. what about error checking?
-        char const * const ch = getenv(envname.c_str());
-        string const envstr = !ch ? "" : ch;
-        return envstr;
+       string const token_scriptpath("$$s/");
+
+       string command = command_in;
+       // Find the starting position of "$$s/"
+       string::size_type const pos1 = command.find(token_scriptpath);
+       if (pos1 == string::npos)
+               return command;
+       // Find the end of the "$$s/some_script" word within command
+       string::size_type const start_script = pos1 + 4;
+       string::size_type const pos2 = command.find(' ', start_script);
+       string::size_type const size_script = pos2 == string::npos?
+               (command.size() - start_script) : pos2 - start_script;
+
+       // Does this script file exist?
+       string const script =
+               LibFileSearch("scripts", command.substr(start_script, size_script));
+
+       if (script.empty()) {
+               // Replace "$$s/" with ""
+               command.erase(pos1, 4);
+       } else {
+               // Replace "$$s/some_script" with "$LYX_SCRIPT_PATH/some_script"
+               string::size_type const size_replace = size_script + 4;
+               command.replace(pos1, size_replace, script);
+       }
+
+       return command;
 }
 
 
-string const GetEnvPath(string const & name)
+string const GetEnv(string const & envname)
 {
-#ifndef __EMX__
-        string const pathlist = subst(GetEnv(name), ':', ';');
-#else
-        string const pathlist = subst(GetEnv(name), '\\', '/');
-#endif
-        return strip(pathlist, ';');
+       // f.ex. what about error checking?
+       char const * const ch = getenv(envname.c_str());
+       string const envstr = !ch ? "" : ch;
+       return envstr;
 }
 
 
-bool PutEnv(string const & envstr)
+string const GetEnvPath(string const & name)
 {
-       // CHECK Look at and fix this.
-        // f.ex. what about error checking?
-
-#if HAVE_PUTENV
-        // this leaks, but what can we do about it?
-        //   Is doing a getenv() and a free() of the older value 
-        //   a good idea? (JMarc)
-       // Actually we don't have to leak...calling putenv like this
-       // should be enough: ... and this is obviously not enough if putenv
-       // does not make a copy of the string. It is also not very wise to
-       // put a string on the free store. If we have to leak we should do it
-       // like this:
-       char * leaker = new char[envstr.length() + 1];
-       envstr.copy(leaker, envstr.length());
-       leaker[envstr.length()] = '\0';
-       int const retval = lyx::putenv(leaker);
-
-       // If putenv does not make a copy of the char const * this
-       // is very dangerous. OTOH if it does take a copy this is the
-       // best solution.
-       // The  only implementation of putenv that I have seen does not
-       // allocate memory. _And_ after testing the putenv in glibc it
-       // seems that we need to make a copy of the string contents.
-       // I will enable the above.
-       //int retval = lyx::putenv(envstr.c_str());
-#else
-#ifdef HAVE_SETENV 
-        string varname;
-        string const str = envstr.split(varname,'=');
-        int const retval = ::setenv(varname.c_str(), str.c_str(), true);
+#ifndef __EMX__
+       string const pathlist = subst(GetEnv(name), ':', ';');
 #else
-       // No environment setting function. Can this happen?
-       int const retval = 1; //return an error condition.
-#endif
+       string const pathlist = os::slashify_path(GetEnv(name));
 #endif
-        return retval == 0;
+       return rtrim(pathlist, ";");
 }
 
 
-bool PutEnvPath(string const & envstr)
-{
-        return PutEnv(envstr);
-}
-
+namespace {
 
-static
-int DeleteAllFilesInDir (string const & path)
+int DeleteAllFilesInDir(string const & path)
 {
        // I have decided that we will be using parts from the boost
        // library. Check out http://www.boost.org/
@@ -392,7 +401,6 @@ int DeleteAllFilesInDir (string const & path)
        // directory_iterator dit(path);
        // directory_iterator dend;
        // if (dit == dend) {
-       //         WriteFSAlert(_("Error! Cannot open directory:"), path);
        //         return -1;
        // }
        // for (; dit != dend; ++dit) {
@@ -400,134 +408,117 @@ int DeleteAllFilesInDir (string const & path)
        //         if (filename == "." || filename == "..")
        //                 continue;
        //         string unlinkpath(AddName(path, filename));
-       //         if (lyx::unlink(unlinkpath))
-       //                 WriteFSAlert(_("Error! Could not remove file:"),
-       //                              unlinkpath);
+       //         lyx::unlink(unlinkpath);
        // }
        // return 0;
        DIR * dir = ::opendir(path.c_str());
-       if (!dir) {
-               WriteFSAlert (_("Error! Cannot open directory:"), path);
+       if (!dir)
                return -1;
-       }
+
        struct dirent * de;
        int return_value = 0;
        while ((de = readdir(dir))) {
                string const temp = de->d_name;
-               if (temp == "." || temp == "..") 
+               if (temp == "." || temp == "..")
                        continue;
                string const unlinkpath = AddName (path, temp);
 
-               lyxerr.debug() << "Deleting file: " << unlinkpath << endl;
+               lyxerr[Debug::FILES] << "Deleting file: " << unlinkpath
+                                    << endl;
 
                bool deleted = true;
-               if (FileInfo(unlinkpath).isDir())
+               FileInfo fi(unlinkpath);
+               if (fi.isOK() && fi.isDir())
                        deleted = (DeleteAllFilesInDir(unlinkpath) == 0);
-               deleted &= (lyx::unlink(unlinkpath) == 0);
-               if (!deleted) {
-                       WriteFSAlert (_("Error! Could not remove file:"), 
-                                     unlinkpath);
+               deleted &= (unlink(unlinkpath) == 0);
+               if (!deleted)
                        return_value = -1;
-               }
-        }
+       }
        closedir(dir);
        return return_value;
 }
 
 
-static
 string const CreateTmpDir(string const & tempdir, string const & mask)
 {
        lyxerr[Debug::FILES]
                << "CreateTmpDir: tempdir=`" << tempdir << "'\n"
-               << "CreateTmpDir:    mask=`" << mask << "'" << endl;
-       
-       string const tmpfl(lyx::tempName(tempdir, mask));
+               << "CreateTmpDir:    mask=`" << mask << '\'' << endl;
+
+       string const tmpfl(tempName(tempdir, mask));
        // lyx::tempName actually creates a file to make sure that it
        // stays unique. So we have to delete it before we can create
        // a dir with the same name. Note also that we are not thread
        // safe because of the gap between unlink and mkdir. (Lgb)
-       lyx::unlink(tmpfl.c_str());
-       
-       if (tmpfl.empty() || lyx::mkdir(tmpfl, 0777)) {
-               WriteFSAlert(_("Error! Couldn't create temporary directory:"),
-                            tempdir);
+       unlink(tmpfl);
+
+       if (tmpfl.empty() || mkdir(tmpfl, 0700))
                return string();
-       }
+
        return MakeAbsPath(tmpfl);
 }
 
+} // namespace anon
+
 
-static
-int DestroyTmpDir(string const & tmpdir, bool Allfiles)
+int destroyDir(string const & tmpdir)
 {
 #ifdef __EMX__
-       Path p(user_lyxdir);
+       Path p(user_lyxdir());
 #endif
-       if (Allfiles && DeleteAllFilesInDir(tmpdir)) return -1;
-       if (lyx::rmdir(tmpdir)) { 
-               WriteFSAlert(_("Error! Couldn't delete temporary directory:"), 
-                            tmpdir);
+       if (DeleteAllFilesInDir(tmpdir))
                return -1;
-       }
-       return 0; 
-} 
 
+       if (rmdir(tmpdir))
+               return -1;
 
-string const CreateBufferTmpDir(string const & pathfor)
-{
-       return CreateTmpDir(pathfor, "lyx_tmpbuf");
+       return 0;
 }
 
 
-int DestroyBufferTmpDir(string const & tmpdir)
+string const CreateBufferTmpDir(string const & pathfor)
 {
-       return DestroyTmpDir(tmpdir, true);
+       static int count;
+       static string const tmpdir(pathfor.empty() ? os::getTmpDir() : pathfor);
+       // We are in our own directory.  Why bother to mangle name?
+       // In fact I wrote this code to circumvent a problematic behaviour (bug?)
+       // of EMX mkstemp().
+       string const tmpfl = tmpdir + "/lyx_tmpbuf" + tostr(count++);
+       if (mkdir(tmpfl, 0777)) {
+               return string();
+       }
+       return tmpfl;
 }
 
 
 string const CreateLyXTmpDir(string const & deflt)
 {
        if ((!deflt.empty()) && (deflt  != "/tmp")) {
-               if (lyx::mkdir(deflt, 0777)) {
+               if (mkdir(deflt, 0777)) {
 #ifdef __EMX__
-                        Path p(user_lyxdir);
+               Path p(user_lyxdir());
 #endif
-                       string const t(CreateTmpDir(deflt, "lyx_tmpdir"));
-                        return t;
+                       return CreateTmpDir(deflt, "lyx_tmpdir");
                } else
-                        return deflt;
+                       return deflt;
        } else {
 #ifdef __EMX__
-               Path p(user_lyxdir);
+               Path p(user_lyxdir());
 #endif
-               string const t(CreateTmpDir("/tmp", "lyx_tmpdir"));
-               return t;
+               return CreateTmpDir("/tmp", "lyx_tmpdir");
        }
 }
 
 
-int DestroyLyXTmpDir(string const & tmpdir)
-{
-       return DestroyTmpDir (tmpdir, false); // Why false?
-}
-
-
-// Creates directory. Returns true if succesfull
 bool createDirectory(string const & path, int permission)
 {
-       string temp(strip(CleanupPath(path), '/'));
+       string temp(rtrim(os::slashify_path(path), "/"));
 
-       if (temp.empty()) {
-               WriteAlert(_("Internal error!"),
-                          _("Call to createDirectory with invalid name"));
-               return false;
-       }
+       Assert(!temp.empty());
 
-       if (lyx::mkdir(temp, permission)) {
-               WriteFSAlert (_("Error! Couldn't create directory:"), temp);
+       if (mkdir(temp, permission))
                return false;
-       }
+
        return true;
 }
 
@@ -552,35 +543,23 @@ string const OnlyPath(string const & Filename)
 string const MakeAbsPath(string const & RelPath, string const & BasePath)
 {
        // checks for already absolute path
-       if (AbsolutePath(RelPath))
-#ifdef __EMX__
-               if (RelPath[0]!= '/' && RelPath[0]!= '\\')
-#endif
+       if (os::is_absolute_path(RelPath))
                return RelPath;
 
        // Copies given paths
-       string TempRel(CleanupPath(RelPath));
+       string TempRel(os::slashify_path(RelPath));
+       // Since TempRel is NOT absolute, we can safely replace "//" with "/"
+       TempRel = subst(TempRel, "//", "/");
 
        string TempBase;
 
-       if (!BasePath.empty()) {
-#ifndef __EMX__
+       if (os::is_absolute_path(BasePath))
                TempBase = BasePath;
-#else
-               char * with_drive = new char[_MAX_PATH];
-               _abspath(with_drive, BasePath.c_str(), _MAX_PATH);
-               TempBase = with_drive;
-               delete[] with_drive;
-#endif
-       } else
-               TempBase = lyx::getcwd(); //GetCWD();
-#ifdef __EMX__
-       if (AbsolutePath(TempRel))
-               return TempBase.substr(0, 2) + TempRel;
-#endif
+       else
+               TempBase = AddPath(getcwd(), BasePath);
 
        // Handle /./ at the end of the path
-       while(suffixIs(TempBase, "/./"))
+       while (suffixIs(TempBase, "/./"))
                TempBase.erase(TempBase.length() - 2);
 
        // processes relative path
@@ -590,7 +569,7 @@ string const MakeAbsPath(string const & RelPath, string const & BasePath)
        while (!RTemp.empty()) {
                // Split by next /
                RTemp = split(RTemp, Temp, '/');
-               
+
                if (Temp == ".") continue;
                if (Temp == "..") {
                        // Remove one level of TempBase
@@ -607,6 +586,9 @@ string const MakeAbsPath(string const & RelPath, string const & BasePath)
                                TempBase.erase(i, string::npos);
                        else
                                TempBase += '/';
+               } else if (Temp.empty() && !RTemp.empty()) {
+                               TempBase = os::current_root() + RTemp;
+                               RTemp.erase();
                } else {
                        // Add this piece to TempBase
                        if (!suffixIs(TempBase, '/'))
@@ -616,7 +598,7 @@ string const MakeAbsPath(string const & RelPath, string const & BasePath)
        }
 
        // returns absolute path
-       return TempBase;
+       return os::slashify_path(TempBase);
 }
 
 
@@ -631,7 +613,7 @@ string const AddName(string const & path, string const & fname)
        string buf;
 
        if (path != "." && path != "./" && !path.empty()) {
-               buf = CleanupPath(path);
+               buf = os::slashify_path(path);
                if (!suffixIs(path, '/'))
                        buf += '/';
        }
@@ -655,39 +637,21 @@ string const OnlyFilename(string const & fname)
 }
 
 
-// Strips filename from path
-string const BasePath(string const & fname)
-{
-       if (fname.empty())
-               return fname;
-
-       string::size_type j = fname.rfind('/');
-       if (j == string::npos) // no '/' in fname
-               return string();
-
-       // Strip to basename
-       return fname.substr(0,j + 1);
-}
-
-
-// Is a filename/path absolute?
+/// Returns true is path is absolute
 bool AbsolutePath(string const & path)
 {
-#ifndef __EMX__
-       return (!path.empty() && path[0] == '/');
-#else
-       return (!path.empty() && (path[0] == '/' || (isalpha(static_cast<unsigned char>(path[0])) && path.length()>1 && path[1] == ':')));
-#endif
+       return os::is_absolute_path(path);
 }
 
 
+
 // Create absolute path. If impossible, don't do anything
 // Supports ./ and ~/. Later we can add support for ~logname/. (Asger)
 string const ExpandPath(string const & path)
 {
        // checks for already absolute path
        string RTemp(ReplaceEnvironmentPath(path));
-       if (AbsolutePath(RTemp))
+       if (os::is_absolute_path(RTemp))
                return RTemp;
 
        string Temp;
@@ -697,36 +661,43 @@ string const ExpandPath(string const & path)
        RTemp = split(RTemp, Temp, '/');
 
        if (Temp == ".") {
-               return lyx::getcwd() /*GetCWD()*/ + '/' + RTemp;
-       } else if (Temp == "~") {
+               return getcwd() + '/' + RTemp;
+       }
+       if (Temp == "~") {
                return GetEnvPath("HOME") + '/' + RTemp;
-       } else if (Temp == "..") {
+       }
+       if (Temp == "..") {
                return MakeAbsPath(copy);
-       } else
-               // Don't know how to handle this
-               return copy;
+       }
+       // Don't know how to handle this
+       return copy;
 }
 
 
 // Normalize a path
 // Constracts path/../path
 // Can't handle "../../" or "/../" (Asger)
+// Also converts paths like /foo//bar ==> /foo/bar
 string const NormalizePath(string const & path)
 {
        string TempBase;
        string RTemp;
        string Temp;
 
-       if (AbsolutePath(path))
+       if (os::is_absolute_path(path))
                RTemp = path;
        else
                // Make implicit current directory explicit
                RTemp = "./" +path;
 
+       // Normalise paths like /foo//bar ==> /foo/bar
+       boost::RegEx regex("/{2,}");
+       RTemp = STRCONV(regex.Merge(STRCONV(RTemp), "/"));
+
        while (!RTemp.empty()) {
                // Split by next /
                RTemp = split(RTemp, Temp, '/');
-               
+
                if (Temp == ".") {
                        TempBase = "./";
                } else if (Temp == "..") {
@@ -744,19 +715,7 @@ string const NormalizePath(string const & path)
        }
 
        // returns absolute path
-       return TempBase;        
-}
-
-
-string const CleanupPath(string const & path) 
-{
-#ifdef __EMX__   /* SMiyata: This should fix searchpath bug. */
-       string temppath = subst(path, '\\', '/');
-       temppath = subst(temppath, "//", "/");
-       return lowercase(temppath);
-#else // On unix, nothing to do
-       return path;
-#endif
+       return TempBase;
 }
 
 
@@ -765,14 +724,14 @@ string const GetFileContents(string const & fname)
        FileInfo finfo(fname);
        if (finfo.exist()) {
                ifstream ifs(fname.c_str());
-               std::ostringstream ofs;
+               ostringstream ofs;
                if (ifs && ofs) {
                        ofs << ifs.rdbuf();
                        ifs.close();
-                       return ofs.str().c_str();
+                       return STRCONV(ofs.str());
                }
        }
-       lyxerr << "LyX was not able to read file '" << fname << "'" << endl;
+       lyxerr << "LyX was not able to read file '" << fname << '\'' << endl;
        return string();
 }
 
@@ -780,24 +739,24 @@ string const GetFileContents(string const & fname)
 //
 // Search ${...} as Variable-Name inside the string and replace it with
 // the denoted environmentvariable
-// Allow Variables according to 
+// Allow Variables according to
 //  variable :=  '$' '{' [A-Za-z_]{[A-Za-z_0-9]*} '}'
 //
 
 string const ReplaceEnvironmentPath(string const & path)
 {
-// 
-// CompareChar: Environmentvariables starts with this character
-// PathChar:    Next path component start with this character
-// while CompareChar found do:
-//       Split String with PathChar
-//      Search Environmentvariable
-//      if found: Replace Strings
-//
+       //
+       // CompareChar: Environment variables starts with this character
+       // PathChar:    Next path component start with this character
+       // while CompareChar found do:
+       //       Split String with PathChar
+       //       Search Environmentvariable
+       //       if found: Replace Strings
+       //
        char const CompareChar = '$';
-       char const FirstChar = '{'; 
-       char const EndChar = '}'; 
-       char const UnderscoreChar = '_'; 
+       char const FirstChar = '{';
+       char const EndChar = '}';
+       char const UnderscoreChar = '_';
        string EndString; EndString += EndChar;
        string FirstString; FirstString += FirstChar;
        string CompareString; CompareString += CompareChar;
@@ -809,9 +768,9 @@ string const ReplaceEnvironmentPath(string const & path)
        string result0 = split(path, result1, CompareChar);
        while (!result0.empty()) {
                string copy1(result0); // contains String after $
-               
+
                // Check, if there is an EndChar inside original String.
-               
+
                if (!regexMatch(copy1, RegExp)) {
                        // No EndChar inside. So we are finished
                        result1 += CompareString + result0;
@@ -842,8 +801,8 @@ string const ReplaceEnvironmentPath(string const & path)
                bool result = isalpha(*cp1) || (*cp1 == UnderscoreChar);
                ++cp1;
                while (*cp1 && result) {
-                       result = isalnum(*cp1) || 
-                               (*cp1 == UnderscoreChar); 
+                       result = isalnum(*cp1) ||
+                               (*cp1 == UnderscoreChar);
                        ++cp1;
                }
 
@@ -854,7 +813,7 @@ string const ReplaceEnvironmentPath(string const & path)
                        result1 += res1;
                        continue;
                }
-            
+
                string env(GetEnv(res1_contents + 1));
                if (!env.empty()) {
                        // Congratulations. Environmentvariable found
@@ -865,39 +824,22 @@ string const ReplaceEnvironmentPath(string const & path)
                // Next $-Sign?
                result0  = split(res0, res1, CompareChar);
                result1 += res1;
-       } 
+       }
        return result1;
-}  // ReplaceEnvironmentPath
+}
 
 
 // Make relative path out of two absolute paths
-string const MakeRelPath(string const & abspath0, string const & basepath0)
+string const MakeRelPath(string const & abspath, string const & basepath)
 // Makes relative path out of absolute path. If it is deeper than basepath,
 // it's easy. If basepath and abspath share something (they are all deeper
 // than some directory), it'll be rendered using ..'s. If they are completely
 // different, then the absolute path will be used as relative path.
 {
-       // This is a hack. It should probaly be done in another way. Lgb.
-       string const abspath = CleanupPath(abspath0);
-       string const basepath = CleanupPath(basepath0);
-       if (abspath.empty())
-               return "<unknown_path>";
-
        string::size_type const abslen = abspath.length();
        string::size_type const baselen = basepath.length();
-       
-       // Find first different character
-       string::size_type i = 0;
-       while (i < abslen && i < baselen && abspath[i] == basepath[i]) ++i;
-
-       // Go back to last /
-       if (i < abslen && i < baselen
-           || (i < abslen && abspath[i] != '/' && i == baselen)
-           || (i < baselen && basepath[i] != '/' && i == abslen))
-       {
-               if (i) --i;     // here was the last match
-               while (i && abspath[i] != '/') --i;
-       }
+
+       string::size_type i = os::common_path(abspath, basepath);
 
        if (i == 0) {
                // actually no match - cannot make it relative
@@ -910,14 +852,16 @@ string const MakeRelPath(string const & abspath0, string const & basepath0)
        string::size_type j = i;
        while (j < baselen) {
                if (basepath[j] == '/') {
-                       if (j + 1 == baselen) break;
+                       if (j + 1 == baselen)
+                               break;
                        buf += "../";
                }
                ++j;
        }
 
        // Append relative stuff from common directory to abspath
-       if (abspath[i] == '/') ++i;
+       if (abspath[i] == '/')
+               ++i;
        for (; i < abslen; ++i)
                buf += abspath[i];
        // Remove trailing /
@@ -934,16 +878,16 @@ string const MakeRelPath(string const & abspath0, string const & basepath0)
 string const AddPath(string const & path, string const & path_2)
 {
        string buf;
-       string const path2 = CleanupPath(path_2);
+       string const path2 = os::slashify_path(path_2);
 
        if (!path.empty() && path != "." && path != "./") {
-               buf = CleanupPath(path);
+               buf = os::slashify_path(path);
                if (path[path.length() - 1] != '/')
                        buf += '/';
        }
 
        if (!path2.empty()) {
-               string::size_type const p2start = path2.find_first_not_of('/');
+               string::size_type const p2start = path2.find_first_not_of('/');
                string::size_type const p2end = path2.find_last_not_of('/');
                string const tmp = path2.substr(p2start, p2end - p2start + 1);
                buf += tmp + '/';
@@ -952,27 +896,26 @@ string const AddPath(string const & path, string const & path_2)
 }
 
 
-/* 
+/*
  Change extension of oldname to extension.
  Strips path off if no_path == true.
  If no extension on oldname, just appends.
  */
-string const
-ChangeExtension(string const & oldname, string const & extension)
+string const ChangeExtension(string const & oldname, string const & extension)
 {
        string::size_type const last_slash = oldname.rfind('/');
        string::size_type last_dot = oldname.rfind('.');
        if (last_dot < last_slash && last_slash != string::npos)
                last_dot = string::npos;
-       
+
        string ext;
        // Make sure the extension starts with a dot
        if (!extension.empty() && extension[0] != '.')
-               ext= "." + extension;
+               ext= '.' + extension;
        else
                ext = extension;
 
-       return CleanupPath(oldname.substr(0, last_dot) + ext);
+       return os::slashify_path(oldname.substr(0, last_dot) + ext);
 }
 
 
@@ -989,82 +932,297 @@ string const GetExtension(string const & name)
                return string();
 }
 
-
-// Creates a nice compact path for displaying
-string const
-MakeDisplayPath (string const & path, unsigned int threshold)
+// the different filetypes and what they contain in one of the first lines
+// (dots are any characters).          (Herbert 20020131)
+// AGR Grace...
+// BMP BM...
+// EPS %!PS-Adobe-3.0 EPSF...
+// FIG #FIG...
+// FITS ...BITPIX...
+// GIF GIF...
+// JPG JFIF
+// PDF %PDF-...
+// PNG .PNG...
+// PBM P1... or P4     (B/W)
+// PGM P2... or P5     (Grayscale)
+// PPM P3... or P6     (color)
+// PS  %!PS-Adobe-2.0 or 1.0,  no "EPSF"!
+// SGI \001\332...     (decimal 474)
+// TGIF        %TGIF...
+// TIFF        II... or MM...
+// XBM ..._bits[]...
+// XPM /* XPM */    sometimes missing (f.ex. tgif-export)
+//      ...static char *...
+// XWD \000\000\000\151        (0x00006900) decimal 105
+//
+// GZIP        \037\213        http://www.ietf.org/rfc/rfc1952.txt
+// ZIP PK...                   http://www.halyava.ru/document/ind_arch.htm
+// Z   \037\235                UNIX compress
+
+/// return the "extension" which belongs to the contents.
+/// for no knowing contents return the extension. Without
+/// an extension and unknown contents we return "user"
+string const getExtFromContents(string const & filename)
 {
-       string::size_type const l1 = path.length();
+       // paranoia check
+       if (filename.empty() || !IsFileReadable(filename))
+               return string();
 
-       // First, we try a relative path compared to home
-       string const home(GetEnvPath("HOME"));
-       string relhome = MakeRelPath(path, home);
 
-       string::size_type l2 = relhome.length();
+       ifstream ifs(filename.c_str());
+       if (!ifs)
+               // Couldn't open file...
+               return string();
+
+       // gnuzip
+       string const gzipStamp = "\037\213";
+
+       // PKZIP
+       string const zipStamp = "PK";
+
+       // compress
+       string const compressStamp = "\037\235";
+
+       // Maximum strings to read
+       int const max_count = 50;
+       int count = 0;
+
+       string str, format;
+       bool firstLine = true;
+       while ((count++ < max_count) && format.empty()) {
+               if (ifs.eof()) {
+                       lyxerr[Debug::GRAPHICS]
+                               << "filetools(getExtFromContents)\n"
+                               << "\tFile type not recognised before EOF!"
+                               << endl;
+                       break;
+               }
+
+               getline(ifs, str);
+               string const stamp = str.substr(0,2);
+               if (firstLine && str.size() >= 2) {
+                       // at first we check for a zipped file, because this
+                       // information is saved in the first bytes of the file!
+                       // also some graphic formats which save the information
+                       // in the first line, too.
+                       if (prefixIs(str, gzipStamp)) {
+                               format =  "gzip";
+
+                       } else if (stamp == zipStamp) {
+                               format =  "zip";
+
+                       } else if (stamp == compressStamp) {
+                               format =  "compress";
+
+                       // the graphics part
+                       } else if (stamp == "BM") {
+                               format =  "bmp";
+
+                       } else if (stamp == "\001\332") {
+                               format =  "sgi";
+
+                       // PBM family
+                       // Don't need to use str.at(0), str.at(1) because
+                       // we already know that str.size() >= 2
+                       } else if (str[0] == 'P') {
+                               switch (str[1]) {
+                               case '1':
+                               case '4':
+                                       format =  "pbm";
+                                   break;
+                               case '2':
+                               case '5':
+                                       format =  "pgm";
+                                   break;
+                               case '3':
+                               case '6':
+                                       format =  "ppm";
+                               }
+                               break;
+
+                       } else if ((stamp == "II") || (stamp == "MM")) {
+                               format =  "tiff";
+
+                       } else if (prefixIs(str,"%TGIF")) {
+                               format =  "tgif";
+
+                       } else if (prefixIs(str,"#FIG")) {
+                               format =  "fig";
+
+                       } else if (prefixIs(str,"GIF")) {
+                               format =  "gif";
+
+                       } else if (str.size() > 3) {
+                               int const c = ((str[0] << 24) & (str[1] << 16) &
+                                              (str[2] << 8)  & str[3]);
+                               if (c == 105) {
+                                       format =  "xwd";
+                               }
+                       }
+
+                       firstLine = false;
+               }
+
+               if (!format.empty())
+                   break;
+               else if (contains(str,"EPSF"))
+                       // dummy, if we have wrong file description like
+                       // %!PS-Adobe-2.0EPSF"
+                       format =  "eps";
+
+               else if (contains(str,"Grace"))
+                       format =  "agr";
+
+               else if (contains(str,"JFIF"))
+                       format =  "jpg";
+
+               else if (contains(str,"%PDF"))
+                       format =  "pdf";
+
+               else if (contains(str,"PNG"))
+                       format =  "png";
 
-       string prefix;
+               else if (contains(str,"%!PS-Adobe")) {
+                       // eps or ps
+                       ifs >> str;
+                       if (contains(str,"EPSF"))
+                               format = "eps";
+                       else
+                           format = "ps";
+               }
+
+               else if (contains(str,"_bits[]"))
+                       format = "xbm";
+
+               else if (contains(str,"XPM") || contains(str, "static char *"))
+                       format = "xpm";
 
-       // If we backup from home or don't have a relative path,
-       // this try is no good
-       if (prefixIs(relhome, "../") || AbsolutePath(relhome)) {
-               // relative path was no good, just use the original path
-               relhome = path;
-               l2 = l1;
+               else if (contains(str,"BITPIX"))
+                       format = "fits";
+       }
+
+       if (!format.empty()) {
+               lyxerr[Debug::GRAPHICS]
+                       << "Recognised Fileformat: " << format << endl;
+               return format;
+       }
+
+       string const ext(GetExtension(filename));
+       lyxerr[Debug::GRAPHICS]
+               << "filetools(getExtFromContents)\n"
+               << "\tCouldn't find a known Type!\n";
+       if (!ext.empty()) {
+           lyxerr[Debug::GRAPHICS]
+               << "\twill take the file extension -> "
+               << ext << endl;
+               return ext;
        } else {
-               prefix = "~/";
+           lyxerr[Debug::GRAPHICS]
+               << "\twill use ext or a \"user\" defined format" << endl;
+           return "user";
        }
+}
 
-       // Is the path too long?
-       if (l2 > threshold) {
-               // Yes, shortend it
-               prefix += ".../";
-               
-               string temp;
-               
-               while (relhome.length() > threshold)
-                       relhome = split(relhome, temp, '/');
-
-               // Did we shortend everything away?
-               if (relhome.empty()) {
-                       // Yes, filename in itself is too long.
-                       // Pick the start and the end of the filename.
-                       relhome = OnlyFilename(path);
-                       string const head = relhome.substr(0, threshold/2 - 3);
-
-                       l2 = relhome.length();
-                       string const tail =
-                               relhome.substr(l2 - threshold/2 - 2, l2 - 1);
-                       relhome = head + "..." + tail;
-               }
+
+/// check for zipped file
+bool zippedFile(string const & name)
+{
+       string const type = getExtFromContents(name);
+       if (contains("gzip zip compress", type) && !type.empty())
+               return true;
+       return false;
+}
+
+
+string const unzippedFileName(string const & zipped_file)
+{
+       string const ext = GetExtension(zipped_file);
+       if (ext == "gz" || ext == "z" || ext == "Z")
+               return ChangeExtension(zipped_file, string());
+       return "unzipped_" + zipped_file;
+}
+
+
+string const unzipFile(string const & zipped_file)
+{
+       string  const tempfile = unzippedFileName(zipped_file);
+       // Run gunzip
+       string const command = "gunzip -c " + zipped_file + " > " + tempfile;
+       Systemcall one;
+       one.startscript(Systemcall::Wait, command);
+       // test that command was executed successfully (anon)
+       // yes, please do. (Lgb)
+       return tempfile;
+}
+
+
+string const MakeDisplayPath(string const & path, unsigned int threshold)
+{
+       string str = path;
+
+       string const home(GetEnvPath("HOME"));
+
+       // replace /home/blah with ~/
+       if (prefixIs(str, home))
+               str = subst(str, home, "~");
+
+       if (str.length() <= threshold)
+               return str;
+
+       string const prefix = ".../";
+       string temp;
+
+       while (str.length() > threshold)
+               str = split(str, temp, '/');
+
+       // Did we shorten everything away?
+       if (str.empty()) {
+               // Yes, filename itself is too long.
+               // Pick the start and the end of the filename.
+               str = OnlyFilename(path);
+               string const head = str.substr(0, threshold / 2 - 3);
+
+               string::size_type len = str.length();
+               string const tail =
+                       str.substr(len - threshold / 2 - 2, len - 1);
+               str = head + "..." + tail;
        }
-       return prefix + relhome;
+
+       return prefix + str;
 }
 
 
-bool LyXReadLink(string const & File, string & Link)
+bool LyXReadLink(string const & file, string & link, bool resolve)
 {
-       char LinkBuffer[512];
+       char linkbuffer[512];
        // Should be PATH_MAX but that needs autconf support
-       int const nRead = ::readlink(File.c_str(),
-                                    LinkBuffer, sizeof(LinkBuffer) - 1);
+       int const nRead = ::readlink(file.c_str(),
+                                    linkbuffer, sizeof(linkbuffer) - 1);
        if (nRead <= 0)
                return false;
-       LinkBuffer[nRead] = '\0'; // terminator
-       Link = LinkBuffer;
+       linkbuffer[nRead] = '\0'; // terminator
+       if (resolve)
+               link = MakeAbsPath(linkbuffer, OnlyPath(file));
+       else
+               link = linkbuffer;
        return true;
 }
 
 
-typedef pair<int, string> cmdret;
-static
-cmdret const do_popen(string const & cmd)
+cmd_ret const RunCommand(string const & cmd)
 {
        // One question is if we should use popen or
        // create our own popen based on fork, exec, pipe
        // of course the best would be to have a
        // pstream (process stream), with the
        // variants ipstream, opstream
-       FILE * inf = ::popen(cmd.c_str(), "r");
+
+       FILE * inf = ::popen(cmd.c_str(), os::popen_read_mode());
+
+       // (Claus Hentschel) Check if popen was succesful ;-)
+       if (!inf)
+               return make_pair(-1, string());
+
        string ret;
        int c = fgetc(inf);
        while (c != EOF) {
@@ -1076,8 +1234,7 @@ cmdret const do_popen(string const & cmd)
 }
 
 
-string const
-findtexfile(string const & fil, string const & /*format*/)
+string const findtexfile(string const & fil, string const & /*format*/)
 {
        /* There is no problem to extend this function too use other
           methods to look for files. It could be setup to look
@@ -1087,13 +1244,13 @@ findtexfile(string const & fil, string const & /*format*/)
           going to implement this until I see some demand for it.
           Lgb
        */
-       
+
        // If the file can be found directly, we just return a
-       // absolute path version of it. 
-        if (FileInfo(fil).exist())
+       // absolute path version of it.
+       if (FileInfo(fil).exist())
                return MakeAbsPath(fil);
 
-        // No we try to find it using kpsewhich.
+       // No we try to find it using kpsewhich.
        // It seems from the kpsewhich manual page that it is safe to use
        // kpsewhich without --format: "When the --format option is not
        // given, the search path used when looking for a file is inferred
@@ -1113,14 +1270,17 @@ findtexfile(string const & fil, string const & /*format*/)
        // tfm - TFMFONTS, TEXFONTS
        // This means that to use kpsewhich in the best possible way we
        // should help it by setting additional path in the approp. envir.var.
-        string const kpsecmd = "kpsewhich " + fil;
-
-        cmdret const c = do_popen(kpsecmd);
-       
-        lyxerr[Debug::LATEX] << "kpse status = " << c.first << "\n"
-                            << "kpse result = `" << strip(c.second, '\n') 
-                            << "'" << endl;
-        return c.first != -1 ? strip(c.second, '\n') : string();
+       string const kpsecmd = "kpsewhich " + fil;
+
+       cmd_ret const c = RunCommand(kpsecmd);
+
+       lyxerr[Debug::LATEX] << "kpse status = " << c.first << '\n'
+                << "kpse result = `" << rtrim(c.second, "\n")
+                << '\'' << endl;
+       if (c.first != -1)
+               return os::internal_path(rtrim(c.second, "\n\r"));
+       else
+               return string();
 }
 
 
@@ -1131,9 +1291,80 @@ void removeAutosaveFile(string const & filename)
        a += OnlyFilename(filename);
        a += '#';
        FileInfo const fileinfo(a);
-       if (fileinfo.exist()) {
-               if (lyx::unlink(a) != 0) {
-                       WriteFSAlert(_("Could not delete auto-save file!"), a);
+       if (fileinfo.exist())
+               unlink(a);
+}
+
+
+void readBB_lyxerrMessage(string const & file, bool & zipped,
+       string const & message)
+{
+       lyxerr[Debug::GRAPHICS] << "[readBB_from_PSFile] "
+               << message << std::endl;
+#warning Why is this func deleting a file? (Lgb)
+       if (zipped)
+               unlink(file);
+}
+
+
+string const readBB_from_PSFile(string const & file)
+{
+       // in a (e)ps-file it's an entry like %%BoundingBox:23 45 321 345
+       // It seems that every command in the header has an own line,
+       // getline() should work for all files.
+       // On the other hand some plot programs write the bb at the
+       // end of the file. Than we have in the header:
+       // %%BoundingBox: (atend)
+       // In this case we must check the end.
+       bool zipped = zippedFile(file);
+       string const file_ = zipped ?
+               string(unzipFile(file)) : string(file);
+       string const format = getExtFromContents(file_);
+
+       if (format != "eps" && format != "ps") {
+               readBB_lyxerrMessage(file_, zipped,"no(e)ps-format");
+               return string();
+       }
+
+       std::ifstream is(file_.c_str());
+       while (is) {
+               string s;
+               getline(is,s);
+               if (contains(s,"%%BoundingBox:") && !contains(s,"atend")) {
+                       string const bb = ltrim(s.substr(14));
+                       readBB_lyxerrMessage(file_, zipped, bb);
+                       return bb;
                }
        }
+       readBB_lyxerrMessage(file_, zipped, "no bb found");
+       return string();
+}
+
+
+int compare_timestamps(string const & file1, string const & file2)
+{
+       Assert(AbsolutePath(file1) && AbsolutePath(file2));
+
+       // If the original is newer than the copy, then copy the original
+       // to the new directory.
+       FileInfo f1(file1);
+       FileInfo f2(file2);
+
+       int cmp = 0;
+       if (f1.exist() && f2.exist()) {
+               double const tmp = difftime(f1.getModificationTime(),
+                                           f2.getModificationTime());
+               if (tmp != 0)
+                       cmp = tmp > 0 ? 1 : -1;
+
+       } else if (f1.exist()) {
+               cmp = 1;
+       } else if (f2.exist()) {
+               cmp = -1;
+       }
+
+       return cmp;
 }
+
+} //namespace support
+} // namespace lyx