16 #include <deal.II/base/job_identifier.h> 19 #ifdef DEAL_II_HAVE_UNISTD_H 24 # include <WinSock2.h> 27 DEAL_II_NAMESPACE_OPEN
35 time_t t = std::time(0);
36 id = std::string(
"JobId ");
38 #if defined(DEAL_II_HAVE_UNISTD_H) && defined(DEAL_II_HAVE_GETHOSTNAME) 41 id += std::string(name) + std::string(
" ");
43 id += std::string(
"unknown ");
46 id += std::string(std::ctime(&t));
60 std::string name(filename);
61 std::string::size_type pos = name.find(
".");
62 name.erase(pos, name.size());
63 pos = name.rfind(
"/");
64 if (pos < name.size())
71 DEAL_II_NAMESPACE_CLOSE
const std::string operator()() const
static std::string base_name(const char *filename)