16 #include <deal.II/base/job_identifier.h> 20 #ifdef DEAL_II_HAVE_UNISTD_H 24 DEAL_II_NAMESPACE_OPEN
32 time_t t = std::time(
nullptr);
33 id = std::string(
"JobId ");
35 #if defined(DEAL_II_HAVE_UNISTD_H) && defined(DEAL_II_HAVE_GETHOSTNAME) 37 gethostname(name, 99);
38 id += std::string(name) + std::string(
" ");
40 id += std::string(
"unknown ");
43 id += std::string(std::ctime(&t));
57 std::string name(filename);
58 std::string::size_type pos;
59 pos = name.rfind(
'/');
60 if (pos != std::string::npos)
61 name.erase(0, pos + 1);
62 pos = name.rfind(
'.');
63 if (pos != std::string::npos)
64 name.erase(pos, name.size());
70 DEAL_II_NAMESPACE_CLOSE
static std::string base_name(const char *filename)
const std::string operator()() const