From 1896c09a2df3d5fca0b6c17649915fa341ce9051 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 21 Mar 2012 14:31:39 +0100
Subject: [PATCH] Fixed initial reference counter value

---
 ports/src/noux/shared_pointer.h | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/ports/src/noux/shared_pointer.h b/ports/src/noux/shared_pointer.h
index c1fb58964..b94754cca 100644
--- a/ports/src/noux/shared_pointer.h
+++ b/ports/src/noux/shared_pointer.h
@@ -54,7 +54,7 @@ namespace Noux {
 
 		public:
 
-			Reference_counter() : _value(1) { }
+			Reference_counter() : _value(0) { }
 	};
 
 
@@ -88,7 +88,10 @@ namespace Noux {
 			void _dec_ref_count()
 			{
 				if (Shared_pointer_base::_dec_ref_count()) {
-					PDBG("ref count for %p reached zero -> delete object", _ptr);
+
+					if (0)
+						PINF("ref count for %p reached zero -> delete object", _ptr);
+
 					Genode::destroy(_alloc, _ptr);
 					_ptr         = 0;
 					_alloc       = 0;