From 5c8272b3c9b3973adc8d6bcf33b6e887118e82da Mon Sep 17 00:00:00 2001
From: david <david@e0a8ed71-7df4-0310-8962-fdc924857419>
Date: Mon, 22 Oct 2012 05:16:59 +0000
Subject: [PATCH] Chack for a NULL pointer return in get_pool.

---
 nse_nsock.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/nse_nsock.cc b/nse_nsock.cc
index 0d724faaf..3c2f45c8d 100644
--- a/nse_nsock.cc
+++ b/nse_nsock.cc
@@ -95,6 +95,7 @@ static nsock_pool get_pool (lua_State *L)
 {
   nsock_pool *nsp;
   nsp = (nsock_pool *) lua_touserdata(L, NSOCK_POOL);
+  assert(nsp != NULL);
   assert(*nsp != NULL);
   return *nsp;
 }