equal
deleted
inserted
replaced
23 #include<fstream> |
23 #include<fstream> |
24 #include<sstream> |
24 #include<sstream> |
25 #include<algorithm> |
25 #include<algorithm> |
26 #include<vector> |
26 #include<vector> |
27 |
27 |
28 #ifndef WIN32 |
28 #ifndef LEMON_WIN32 |
29 #include<sys/time.h> |
29 #include<sys/time.h> |
30 #include<ctime> |
30 #include<ctime> |
31 #else |
31 #else |
32 #include<lemon/bits/windows.h> |
32 #include<lemon/bits/windows.h> |
33 #endif |
33 #endif |
672 if(_copyright.size()>0) os << "%%Copyright: " << _copyright << '\n'; |
672 if(_copyright.size()>0) os << "%%Copyright: " << _copyright << '\n'; |
673 os << "%%Creator: LEMON, graphToEps()\n"; |
673 os << "%%Creator: LEMON, graphToEps()\n"; |
674 |
674 |
675 { |
675 { |
676 os << "%%CreationDate: "; |
676 os << "%%CreationDate: "; |
677 #ifndef WIN32 |
677 #ifndef LEMON_WIN32 |
678 timeval tv; |
678 timeval tv; |
679 gettimeofday(&tv, 0); |
679 gettimeofday(&tv, 0); |
680 |
680 |
681 char cbuf[26]; |
681 char cbuf[26]; |
682 ctime_r(&tv.tv_sec,cbuf); |
682 ctime_r(&tv.tv_sec,cbuf); |