Skip to content

Commit

Permalink
[#1980] add missing headers in timer_mgr.cc
Browse files Browse the repository at this point in the history
  • Loading branch information
andrei-pavel committed Aug 12, 2021
1 parent efb04ec commit 2bba961
Showing 1 changed file with 10 additions and 2 deletions.
12 changes: 10 additions & 2 deletions src/lib/dhcpsrv/timer_mgr.cc
Original file line number Diff line number Diff line change
@@ -1,11 +1,12 @@
// Copyright (C) 2016-2020 Internet Systems Consortium, Inc. ("ISC")
// Copyright (C) 2016-2021 Internet Systems Consortium, Inc. ("ISC")
//
// This Source Code Form is subject to the terms of the Mozilla Public
// License, v. 2.0. If a copy of the MPL was not distributed with this
// file, You can obtain one at http://mozilla.org/MPL/2.0/.

#include <config.h>
#include <asiolink/asio_wrapper.h>

#include <asiolink/interval_timer.h>
#include <asiolink/io_service.h>
#include <dhcpsrv/dhcpsrv_log.h>
#include <dhcpsrv/timer_mgr.h>
Expand All @@ -14,9 +15,16 @@

#include <boost/scoped_ptr.hpp>

#include <exception>
#include <functional>
#include <map>
#include <mutex>
#include <ostream>
#include <string>
#include <utility>

#include <stddef.h>

using namespace isc;
using namespace isc::asiolink;
using namespace isc::util;
Expand Down

0 comments on commit 2bba961

Please sign in to comment.