// SPDX-License-Identifier: LicenseRef-Verum-Proprietary
// SPDX-FileCopyrightText: 2019 Verum Software Tools B.V.
// Proprietary and confidential. See LICENSE for terms.
//
// Commentary:
//
// Code:

class Logger: public skel::Logger
{
public:
  Logger (const dzn::locator &l)
    : skel::Logger (l)
  {}
  void log_log (std::string s) {
    std::cout << "LOG " << s << " "
              << dzn_locator.get<dzn::pump>().thread_id
#ifndef HAVE_BOOST_COROUTINE
              << " == " << dzn::get_thread_id ()
#endif
              << std::endl;
  }
};
