From e7766297deeeb678e74f91134d487135839085df Mon Sep 17 00:00:00 2001
From: goldsimon <goldsimon@gmx.de>
Date: Sun, 25 Feb 2018 13:17:26 +0100
Subject: [PATCH] dhcp6_disable: need to set pcb_allocated to zero

See bug #53224: dhcp6_disable() pcb_allocated need set to zero.
---
 src/core/ipv6/dhcp6.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/core/ipv6/dhcp6.c b/src/core/ipv6/dhcp6.c
index e38fd5fe..d583e593 100644
--- a/src/core/ipv6/dhcp6.c
+++ b/src/core/ipv6/dhcp6.c
@@ -357,6 +357,7 @@ dhcp6_disable(struct netif *netif)
       dhcp6_set_state(dhcp6, DHCP6_STATE_OFF, "dhcp6_disable");
       if (dhcp6->pcb_allocated != 0) {
         dhcp6_dec_pcb_refcount(); /* free DHCPv6 PCB if not needed any more */
+        dhcp6->pcb_allocated = 0;
       }
     }
   }