//#include "handler.ih"
//
//void Handler::orderTxt()
//{
//    if (d_orderTxt.size() > 0)          // already determined: done.
//        return;
//
//    fillOrderTxt();
//
//    if (d_orderTxt.empty())
//        throw Exception{REPLY} << "No `order.txt' file(s)";
//
//    for (string const &file: d_orderTxt)
//        verifyFilenames(file);
//
//    sort(d_orderTxt.begin(), d_orderTxt.end());
//}
