[geeklog-cvs] geeklog-1.3/system lib-sessions.php,1.14.2.1,1.14.2.2

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

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

Modified Files:
      Tag: geeklog_1_3_7sr1_1
	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.14.2.1
retrieving revision 1.14.2.2
diff -C2 -d -r1.14.2.1 -r1.14.2.2
*** lib-sessions.php	23 May 2003 11:42:20 -0000	1.14.2.1
--- lib-sessions.php	26 May 2003 10:33:15 -0000	1.14.2.2
***************
*** 100,104 ****
              if (isset($HTTP_COOKIE_VARS[$_CONF['cookie_name']])) {
                  $userid = $HTTP_COOKIE_VARS[$_CONF['cookie_name']];
!                 if (empty ($userid) || !is_int ($userid)) {
                      unset ($userid);
                  } else {
--- 100,104 ----
              if (isset($HTTP_COOKIE_VARS[$_CONF['cookie_name']])) {
                  $userid = $HTTP_COOKIE_VARS[$_CONF['cookie_name']];
!                 if (empty ($userid) || !is_numeric ($userid)) {
                      unset ($userid);
                  } else {
***************
*** 134,138 ****
  
              $userid = $HTTP_COOKIE_VARS[$_CONF['cookie_name']];
!             if (!is_int ($userid)) {
                  unset ($userid);
              } else {
--- 134,138 ----
  
              $userid = $HTTP_COOKIE_VARS[$_CONF['cookie_name']];
!             if (!is_numeric ($userid)) {
                  unset ($userid);
              } else {