Updating dkjson to avoid server crashes
Small tweak for dkjson so it works with ns2