[geeklog-cvs] geeklog-1.3/system lib-sessions.php,1.18,1.19

[geeklog-cvs-admin at lists.geeklog.net]

Update of /usr/cvs/geeklog/geeklog-1.3/system
In directory internal.geeklog.net:/tmp/cvs-serv17410

Modified Files:
	lib-sessions.php 
Log Message:
Use is_numeric(), not is_int().


Index: lib-sessions.php
===================================================================
RCS file: /usr/cvs/geeklog/geeklog-1.3/system/lib-sessions.php,v
retrieving revision 1.18
retrieving revision 1.19
diff -C2 -d -r1.18 -r1.19
*** lib-sessions.php	23 May 2003 11:42:06 -0000	1.18
--- lib-sessions.php	26 May 2003 10:33:30 -0000	1.19
***************
*** 109,113 ****
              if (isset($HTTP_COOKIE_VARS[$_CONF['cookie_name']])) {
                  $userid = $HTTP_COOKIE_VARS[$_CONF['cookie_name']];
!                 if (empty ($userid) || !is_int ($userid)) {
                      unset ($userid);
                  } else {
--- 109,113 ----
              if (isset($HTTP_COOKIE_VARS[$_CONF['cookie_name']])) {
                  $userid = $HTTP_COOKIE_VARS[$_CONF['cookie_name']];
!                 if (empty ($userid) || !is_numeric ($userid)) {
                      unset ($userid);
                  } else {
***************
*** 143,147 ****
  
              $userid = $HTTP_COOKIE_VARS[$_CONF['cookie_name']];
!             if (!is_int ($userid)) {
                  unset ($userid);
              } else {
--- 143,147 ----
  
              $userid = $HTTP_COOKIE_VARS[$_CONF['cookie_name']];
!             if (!is_numeric ($userid)) {
                  unset ($userid);
              } else {