Revision 79b044ca src/envir/envirbase.cc

View differences:

src/envir/envirbase.cc
18 18
#include <stdio.h>
19 19
#include <assert.h>
20 20
#include <fstream>
21
#include <iomanip>
21 22
#include <set>
22 23

  
23 24
#include "args.h"
......
1682 1683
        std::string filename = getConfig()->getAsString(CFGID_WRITE_RUNTIME_TO_FILENAME);
1683 1684
        std::ofstream outfile;
1684 1685
        outfile.open(filename.c_str(), std::ios::out | std::ios::app);
1685
        outfile << elapsedtime.tv_sec << "." << (elapsedtime.tv_usec/1000) << endl;
1686
        outfile << elapsedtime.tv_sec << "." << std::setfill('0') << std::setw(6) << elapsedtime.tv_usec << endl;
1686 1687
        outfile.close();
1687 1688
    }
1688 1689
}

Also available in: Unified diff