[PHP] GNU Readline 4 Win32
Hi, Is there any way I can get the 'GNU Readline' libruary on my Windows 2000 installation of PHP4? As far as I can see its only available for *NIX OSs and BSD. Is is available on win32? Josh -- PHP General Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
[PHP] Time Delay?
Hi, Does anyone know if there is a way for me to produce a function in PHP to pause the processing of the script for 3 seconds for example without eating up the CPU bandwidth. I could do with quite accurate control. Is there a better way that doing it like this: The output is: The current time is 1044105730 The current time is 1044105741 There is obviously an 11 second difference is the time that the two seperate lines were printed. Thing is, when I run this script the CPU usage goes to 100% Anyone got any ideas? Thanx Josh
[PHP] pause_script($int)??
Hi, Does anyone know if there is a way for me to produce a function in PHP to pause the processing of the script for 3 seconds for example without eating up the CPU bandwidth. I could do with quite accurate control. Is there a better way that doing it like this: The output is: The current time is 1044105730 The current time is 1044105741 There is obviously an 11 second difference is the time that the two seperate lines were printed. Thing is, when I run this script the CPU usage goes to 100% Anyone got any ideas? Thanx Josh -- PHP General Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
[PHP] Server Up-time
Hi, As a novelty item on a website I have made a few lines of code for showing how in hours minuts and secoinds since the server was booted up (using C:\php\php.exe -q E:\...\set_boot_time.php value under the Run section in the Windows Registry.). The system by running a script at bootup that sets the time() value to an empty a file called 'boot.time'. All the website has to do then is access the 'boot.time' file and obtain the value. Subtract the 'boot.time' value from the time() value and there you have it, the rest is just formating. This method works perfectly adiquatly. I was just wondering is there is an easyer way to achieve this? Anyone know of one. Thanx Josh. (Project Mp3x) -- PHP General Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
