| ... | ... |
@@ -21,8 +21,2 @@ |
| 21 | 21 |
|
| 22 |
#include <sys/time.h> |
|
| 23 |
|
|
| 24 |
#ifdef WIN32 |
|
| 25 |
#include <lemon/bits/mingw32_time.h> |
|
| 26 |
#endif |
|
| 27 |
|
|
| 28 | 22 |
#include<iostream> |
| ... | ... |
@@ -33,3 +27,8 @@ |
| 33 | 27 |
|
| 28 |
#ifndef WIN32 |
|
| 29 |
#include<sys/time.h> |
|
| 34 | 30 |
#include<ctime> |
| 31 |
#else |
|
| 32 |
#include<windows.h> |
|
| 33 |
#endif |
|
| 35 | 34 |
|
| ... | ... |
@@ -719,9 +718,26 @@ |
| 719 | 718 |
os << "%%Creator: LEMON, graphToEps()\n"; |
| 720 |
|
|
| 721 |
{
|
|
| 722 |
|
|
| 719 |
|
|
| 720 |
{
|
|
| 721 |
#ifndef WIN32 |
|
| 723 | 722 |
timeval tv; |
| 724 | 723 |
gettimeofday(&tv, 0); |
| 724 |
|
|
| 725 |
char cbuf[26]; |
|
| 725 | 726 |
ctime_r(&tv.tv_sec,cbuf); |
| 726 | 727 |
os << "%%CreationDate: " << cbuf; |
| 728 |
#else |
|
| 729 |
SYSTEMTIME time; |
|
| 730 |
char buf1[11], buf2[9], buf3[5]; |
|
| 731 |
|
|
| 732 |
GetSystemTime(&time); |
|
| 733 |
if (GetDateFormat(LOCALE_USER_DEFAULT, 0, &time, |
|
| 734 |
"ddd MMM dd", buf1, 11) && |
|
| 735 |
GetTimeFormat(LOCALE_USER_DEFAULT, 0, &time, |
|
| 736 |
"HH':'mm':'ss", buf2, 9) && |
|
| 737 |
GetDateFormat(LOCALE_USER_DEFAULT, 0, &time, |
|
| 738 |
"yyyy", buf3, 5)) {
|
|
| 739 |
os << "%%CreationDate: " << buf1 << ' ' |
|
| 740 |
<< buf2 << ' ' << buf3 << std::endl; |
|
| 741 |
} |
|
| 742 |
#endif |
|
| 727 | 743 |
} |
0 comments (0 inline)