using namespace std;
namespace lyx {
+
+void emergencyCleanup();
+
namespace support {
namespace os {
string cygdrive = "/cygdrive";
+BOOL terminate_handler(DWORD event)
+{
+ if (event == CTRL_CLOSE_EVENT
+ || event == CTRL_LOGOFF_EVENT
+ || event == CTRL_SHUTDOWN_EVENT) {
+ lyx::emergencyCleanup();
+ return TRUE;
+ }
+ return FALSE;
+}
+
} // namespace anon
void init(int /* argc */, char * argv[])
if ((retVal == ERROR_SUCCESS) && (bufSize <= MAX_PATH))
cygdrive = rtrim(string(buf), "/");
}
+
+ // Catch shutdown events.
+ SetConsoleCtrlHandler((PHANDLER_ROUTINE)terminate_handler, TRUE);
}
}
+bool path_prefix_is(string const & path, string const & pre)
+{
+ return path_prefix_is(const_cast<string &>(path), pre, CASE_UNCHANGED);
+}
+
+
+bool path_prefix_is(string & path, string const & pre, path_case how)
+{
+ docstring const p1 = from_utf8(path);
+ docstring const p2 = from_utf8(pre);
+ docstring::size_type const p1_len = p1.length();
+ docstring::size_type const p2_len = p2.length();
+ docstring::size_type common_len = common_path(p1, p2);
+
+ if (p2[p2_len - 1] == '/' && p1_len != p2_len)
+ ++common_len;
+
+ if (common_len != p2_len)
+ return false;
+
+ if (how == CASE_ADJUSTED && !prefixIs(path, pre)) {
+ if (p1_len < common_len)
+ path = to_utf8(p2.substr(0, p1_len));
+ else
+ path = to_utf8(p2 + p1.substr(common_len,
+ p1_len - common_len));
+ }
+
+ return true;
+}
+
+
string external_path(string const & p)
{
string const dos_path = subst(p, "/", "\\");
// on windows_style_tex_paths_), but we use always forward slashes,
// since it gets written into a .tex file.
- FileName path(p);
- if (!windows_style_tex_paths_ && path.isAbsolute()) {
+ if (!windows_style_tex_paths_ && FileName::isAbsolute(p)) {
string const drive = p.substr(0, 2);
string const cygprefix = cygdrive + "/" + drive.substr(0, 1);
string const cygpath = subst(subst(p, '\\', '/'), drive, cygprefix);
}
+bool is_terminal(io_channel channel)
+{
+ switch (channel) {
+ case STDIN:
+ if (GetStdHandle(STD_INPUT_HANDLE) == NULL)
+ return false;
+ break;
+ case STDOUT:
+ if (GetStdHandle(STD_OUTPUT_HANDLE) == NULL)
+ return false;
+ break;
+ case STDERR:
+ if (GetStdHandle(STD_ERROR_HANDLE) == NULL)
+ return false;
+ break;
+ }
+ return true;
+}
+
+
shell_type shell()
{
return CMD_EXE;
}
-bool isSameFile(string const & fileone, string const & filetwo)
-{
- HANDLE h1 = CreateFile(fileone.c_str(), 0,
- FILE_SHARE_READ|FILE_SHARE_WRITE, NULL, OPEN_EXISTING, 0, NULL);
- HANDLE h2 = CreateFile(filetwo.c_str(), 0,
- FILE_SHARE_READ|FILE_SHARE_WRITE, NULL, OPEN_EXISTING, 0, NULL);
-
- if (h1 == INVALID_HANDLE_VALUE || h2 == INVALID_HANDLE_VALUE) {
- // One or both files cannot be accessed.
- if (h1 != INVALID_HANDLE_VALUE)
- CloseHandle(h1);
- if (h2 != INVALID_HANDLE_VALUE)
- CloseHandle(h2);
- return false;
- }
-
- BY_HANDLE_FILE_INFORMATION info1;
- BY_HANDLE_FILE_INFORMATION info2;
- bool samefile = false;
- if (GetFileInformationByHandle(h1, &info1) != 0
- && GetFileInformationByHandle(h2, &info2) != 0) {
- // Serial number of the volumes containing the files.
- ULONG st1_dev = info1.dwVolumeSerialNumber;
- ULONG st2_dev = info2.dwVolumeSerialNumber;
- // Unique identifiers associated to the files on the volumes.
- ULONGLONG highbits = info1.nFileIndexHigh & 0x0000FFFF;
- ULONGLONG st1_ino = (highbits << sizeof(ULONG)) | info1.nFileIndexLow;
- highbits = info2.nFileIndexHigh & 0x0000FFFF;
- ULONGLONG st2_ino = (highbits << sizeof(ULONG)) | info2.nFileIndexLow;
- samefile = st1_ino == st2_ino && st1_dev == st2_dev;
- }
- CloseHandle(h1);
- CloseHandle(h2);
- return samefile;
-}
-
-
string real_path(string const & path)
{
// See http://msdn.microsoft.com/en-us/library/aa366789(VS.85).aspx