|
php.net | support | documentation | report a bug | advanced search | search howto | statistics | random bug | login |
PatchesPull RequestsHistoryAllCommentsChangesGit/SVN commits
[2002-12-16 16:44 UTC] trees at ieeecs dot ece dot utexas dot edu
[2002-12-16 16:50 UTC] moriyoshi@php.net
|
|||||||||||||||||||||||||||||||||||||
Copyright © 2001-2025 The PHP GroupAll rights reserved. |
Last updated: Sun Nov 02 20:00:01 2025 UTC |
(My system info at bottom) Problem: The following piece of code doesn't work as advertised: while ( $cur = mysql_fetch_row( $result )) if ( ! array_search( $cur[0], $userIDs )) { print("Pushing $cur[0]"); array_push( $userIDs, $cur[0] ); } else print( "Ignoring $cur[0]", "/tmp/pushing"); My Solution: I wrote my own little search method (ignoring Big-Oh consisderations since I don't know PHP low-level types) function my_array_search( $findMe, $inMe ){ { foreach ( $inMe as $key ) if ( $key == $findMe ) return true; return false; } Relevant system info from phpinfo(); Linux myHostName 2.4.18-18.7.xsmp #1 SMP Wed Nov 13 19:01:42 EST 2002 i686 './configure' '--with-mysql' '--enable-calendar' '--with-apxs=/usr/sbin/apxs' '--with-bz2' '--with-curl' '--enable-track-vars' '--enable-trans-sid' '--with-imap=/usr/local/lib' '--with-imap-ssl=/lib' '--enable-debug' Cheers.