diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2012-12-28 13:50:02 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2012-12-28 13:50:02 +0100 |
| commit | 8f5be9bf915eccb3ebc4308c53fd62a5bb6bbe3f (patch) | |
| tree | 8def19cc4052e1018441f7469b8ea3d2b9522618 /src/buffer_manager.cc | |
| parent | 030df1c4be2b060235735e58dd424883ba06955f (diff) | |
BufferManager: registering buffers are front inserted
Diffstat (limited to 'src/buffer_manager.cc')
| -rw-r--r-- | src/buffer_manager.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/buffer_manager.cc b/src/buffer_manager.cc index 764e1271..14e6f723 100644 --- a/src/buffer_manager.cc +++ b/src/buffer_manager.cc @@ -26,7 +26,7 @@ void BufferManager::register_buffer(Buffer& buffer) throw name_not_unique(); } - m_buffers.push_back(safe_ptr<Buffer>(&buffer)); + m_buffers.emplace(m_buffers.begin(), &buffer); } void BufferManager::unregister_buffer(Buffer& buffer) |