DHCPClient state values

[Justin F]

Hiya,

The current version of DHCPClient.swi contains:

CONST
   DHCPClientStateState_Sleeping   = DHCPClientState_State: 0,
   DHCPClientStateState_InitReboot = DHCPClientState_State: 0,
   DHCPClientStateState_Init       = DHCPClientState_State: 0,
   DHCPClientStateState_Rebooting  = DHCPClientState_State: 0,
   DHCPClientStateState_Selecting  = DHCPClientState_State: 0,
   DHCPClientStateState_Requesting = DHCPClientState_State: 0,
   DHCPClientStateState_Bound      = DHCPClientState_State: 0,
   DHCPClientStateState_Renewing   = DHCPClientState_State: 0,
   DHCPClientStateState_Rebinding  = DHCPClientState_State: 8;

it should be:

CONST
   DHCPClientStateState_Sleeping   = DHCPClientState_State: 0,
   DHCPClientStateState_InitReboot = DHCPClientState_State: 1,
   DHCPClientStateState_Init       = DHCPClientState_State: 2,
   DHCPClientStateState_Rebooting  = DHCPClientState_State: 3,
   DHCPClientStateState_Selecting  = DHCPClientState_State: 4,
   DHCPClientStateState_Requesting = DHCPClientState_State: 5,
   DHCPClientStateState_Bound      = DHCPClientState_State: 6,
   DHCPClientStateState_Renewing   = DHCPClientState_State: 7,
   DHCPClientStateState_Rebinding  = DHCPClientState_State: 8;

ie, the numbers should be incremented.

-- 
Charles Justin Ferguson
[ All information, speculation, opinion or data within, or attached to,
  this email is private and confidential. Such content may not be
  disclosed to third parties, or a public forum, without explicit
  permission being granted. ]