php-Script alle 5 Minuten / Nimm ein Flagfile statt zu murksen bearbeitet von Raketenwilli 04.03.2023 15:38 Was soll denn die Umrechnung in die lokale Zeit bringen? Ich denke, Dir geht es um die Vermeidung von Performanceleaks?~~~PHP$flagFile = '/path/to/file.flag';$tBetween = 300; # Sekunden$ft = filemtime( $flagFile );if ( false === $ft || $ft + $tBetween < time() ) { if ( ! touch( $flagFile ) ) { trigger_error( "Konnte Flagfile $flagFile nicht anlegen oder ändern.", E_USER_ERROR ); } # was auch immer Du tun willt}~~~→ Wenn seit dem letzten Durchlauf kmeinehr als 5 Minuten rum sind wird Deinichts Zeug gemacht.* Von dem anderen Zeug lass die Finger.* filemtime ist „billig“, weil es allenfalls nur den inode lesen muss, nicht die Datei selbst.* touch ist billig, weil es nur den Inode neu schreibt, nicht die Datei selbst. Den Rest besorgt (hoffentlich) der Dateisystemcache.
php-Script alle 5 Minuten / Nimm ein Flagfile statt zu murksen bearbeitet von Raketenwilli 04.03.2023 15:49 Was soll denn die Umrechnung in die lokale Zeit bringen? Ich denke, Dir geht es um die Vermeidung von Performanceleaks?~~~PHP$flagFile = '/path/to/file.flag';$tBetween = 300; # Sekunden$ft = filemtime( $flagFile );if ( false === $ft || $ft + $tBetween < time() ) { if ( ! touch( $flagFile ) ) { trigger_error( "Konnte Flagfile $flagFile nicht anlegen oder ändern.", E_USER_ERROR ); } # was auch immer Du tun willt}~~~→ Wenn seit dem letzten Durchlauf keine 5 Minuten rum sind wird nichts gemacht.* Von dem anderen Zeug lass die Finger.* filemtime ist „billig“, weil es allenfalls nur den inode lesen muss, nicht die Datei selbst.* touch ist billig, weil es nur den Inode neu schreibt, nicht die Datei selbst. Den Rest besorgt (hoffentlich) der Dateisystemcache.
php-Script alle 5 Minuten / Nimm ein Flagfile statt zu murksen bearbeitet von Raketenwilli 04.03.2023 15:46 Was soll denn die Umrechnung in die lokale Zeit bringen? Ich denke, Dir geht es um die Vermeidung von Performanceleaks?~~~PHP$flagFile = '/path/to/file.flag';$tBetween = 300; # Sekunden$ft = filemtime( $flagFile );if ( false === $ft || $ft + $tBetween < time() ) { if ( ! touch( $flagFile ) ) { trigger_error( "Konnte Flagfile nicht anlegen oder ändern", E_USER_ERROR ); } # was auch immer Du tun willt}~~~→ Wenn seit dem letzten Durchlauf keine 5 Minuten rum sind wird nichts gemacht.* Von dem anderen Zeug lass die Finger.* filemtime ist „billig“, weil es allenfalls nur den inode lesen muss, nicht die Datei selbst.* touch ist billig, weil es nur den Inode neu schreibt, nicht die Datei selbst. Den Rest besorgt (hoffentlich) der Dateisystemcache.
php-Script alle 5 Minuten / Nimm ein Flagfile statt zu murksen bearbeitet von Raketenwilli 04.03.2023 15:46 Was soll denn die Umrechnung in die lokale Zeit bringen? Ich denke, Dir geht es um die Vermeidung von Performanceleaks?~~~PHP$flagFile = '/path/to/file.flag';$tBetween = 300;$ft = filemtime( $flagFile );if ( false === $ft || $ft + $tBetween < time() ) { if ( ! touch( $flagFile ) ) { trigger_error( "Konnte Flagfile nicht anlegen oder ändern", E_USER_ERROR ); } # was auch immer Du tun willt}~~~→ Wenn seit dem letzten Durchlauf keine 5 Minuten rum sind wird nichts gemacht.* Von dem anderen Zeug lass die Finger.* filemtime ist „billig“, weil es allenfalls nur den inode lesen muss, nicht die Datei selbst.* touch ist billig, weil es nur den Inode neu schreibt, nicht die Datei selbst. Den Rest besorgt (hoffentlich) der Dateisystemcache.
php-Script alle 5 Minuten / Nimm ein Flagfile! bearbeitet von Raketenwilli 04.03.2023 15:45 Was soll denn die Umrechnung in die lokale Zeit bringen? Ich denke, Dir geht es um die Vermeidung von Performanceleaks?~~~PHP$flagFile = '/path/to/file.flag';$tBetween = 300;$ft = filemtime( $flagFile );if ( false === $ft || $ft + $tBetween < time() ) { if ( ! touch( $flagFile ) ) { trigger_error( "Konnte Flagfile nicht anlegen oder ändern", E_USER_ERROR ); } # was auch immer Du tun willt}~~~→ Wenn seit dem letzten Durchlauf keine 5 Minuten rum sind wird nichts gemacht.* Von dem anderen Zeug lass die Finger.* filemtime ist „billig“, weil es allenfalls nur den inode lesen muss, nicht die Datei selbst.* touch ist billig, weil es nur den Inode neu schreibt, nicht die Datei selbst. Den Rest besorgt (hoffentlich) der Dateisystemcache.
php-Script alle 5 Minuten / Nimm ein Flagfile! bearbeitet von Raketenwilli 04.03.2023 15:44 Was soll denn die Umrechnung in die lokale Zeit bringen? Ich denke, Dir geht es um die Vermeidung von Performanceleaks?~~~PHP$flagFile = '/path/to/file.flag';$tBetween = 300;$ft = filemtime( $flagFile );if ( false === $ft || $ft + $tBetween < time() ) { if ( ! touch( $flagFile ) ) { trigger_error( "Konnte Flagfile nicht anlegen oder ändern", E_USER_ERROR ) } # was auch immer Du tun willt}~~~→ Wenn seit dem letzten Durchlauf keine 5 Minuten rum sind wird nichts gemacht.* Von dem anderen Zeug lass die Finger.* filemtime ist „billig“, weil es allenfalls nur den inode lesen muss, nicht die Datei selbst.* touch ist billig, weil es nur den Inode neu schreibt, nicht die Datei selbst. Den Rest besorgt (hoffentlich) der Dateisystemcache.
php-Script alle 5 Minuten / Nimm ein Flagfile! bearbeitet von Raketenwilli 04.03.2023 15:43 Was soll denn die Umrechnung in die lokale Zeit bringen? Ich denke, Dir geht es um die Vermeidung von Performanceleaks?~~~PHP$flagFile = '/path/to/file.flag';$tBetween = 300;$ft = filemtime( $flagFile );if ( false === $ft || $ft + $tBetween < time() ) { if ( ! touch( $flagFile ) ) { trigger_error( "Konnte Flagfile nicht anlegen oder ändern", E_USER_ERROR ) } # was auch immer Du tun willt}~~~→ Wenn seit dem letzten Durchlauf keine 5 Minuten rum sind wird nichts gemacht.* Von dem anderen Zeug lass die Finger.* filemtime ist „billig“, weil es allenfalls nur den inode lesen muss, nicht die Datei selbst.
php-Script alle 5 Minuten / falsche Frage bearbeitet von Raketenwilli 04.03.2023 15:39 Was soll denn die Umrechnung in die lokale Zeit bringen? Ich denke, Dir geht es um die Vermeidung von Performanceleaks? ~~~PHP $flagFile = '/path/to/file.flag'; $tBetween = 300; $ft = filemtime( $flagFile ); if ( false === $ft || $ft + $tBetween < time() ) { if ( ! touch( $flagFile ) ) { trigger_error( "Konnte Flagfile nicht anlegen oder ändern", E_USER_ERROR ) } # was auch immer Du tun willt } ~~~ → Wenn seit dem letzten Durchlauf keine 5 Minuten rum sind wird nichts gemacht. * Von dem anderen Zeug lass die Finger. * filemtime ist „billig“, weil es allenfalls nur den inode lesen muss, nicht die Datei selbst.
nicht angemeldet
