Avatar billede bgo Nybegynder
05. april 2005 - 12:10 Der er 3 kommentarer og
1 løsning

eksekverings tid for script

Da jeg skal have, og allerede har, scripts der kan tage lang tid at gennemføre har jeg i php.ini sat

max_execution_time = 7200    ; Maximum execution time of each script, in seconds
max_input_time = 7200    ; Maximum amount of time each script may spend parsing request data

det skulle svare til 2 timer. Desvære ser det ud til at det ikke fungerer efter hensigten - i al fald passer det megetgodt med at et script kun kan få lov til at køre de standard 30 sekunder. Dét har jeg så kunne opdele i mindre bidder, men jeg ved at jeg skal have lavet nogle stykker jeg ikke kan dele op, og skal have lov til at blive færdige trods de kan tage et par timer (der er tale om CLI triggerede scripts)

Nu er jeg jo ny mht php, så mit spørgsmål er: Er der noget mere jeg skal gøre for at opnå mit mål her, eller burde ovenstående virke?
Avatar billede bromer Nybegynder
05. april 2005 - 13:46 #1
Jeg skal ikke kunne sige, hvorfor det ikke virker når du ændrer det i php.ini. Virker det hvis du i toppen af dit script kører

set_time_limit(7200);
Avatar billede bgo Nybegynder
05. april 2005 - 13:55 #2
jeg prøver lige
Avatar billede bgo Nybegynder
05. april 2005 - 14:01 #3
det ser ud til at virke - i al fald kører scriptet til ende og kører ca. 45 sekunder. Underligt det andet ikke virker (har endda genstartet siden ændringen dér).

Nå, men tak for hjælpen :) Smider du et svar så er der point ;)
Avatar billede bromer Nybegynder
05. april 2005 - 14:02 #4
tja, ved ikke hvorfor, men super du fik det til at virke..
Avatar billede Ny bruger Nybegynder

Din løsning...

Tilladte BB-code-tags: [b]fed[/b] [i]kursiv[/i] [u]understreget[/u] Web- og emailadresser omdannes automatisk til links. Der sættes "nofollow" på alle links.

Loading billede Opret Preview
Kategori
Vi tilbyder markedets bedste kurser inden for webudvikling

Log ind eller opret profil

Hov!

For at kunne deltage på Computerworld Eksperten skal du være logget ind.

Det er heldigvis nemt at oprette en bruger: Det tager to minutter og du kan vælge at bruge enten e-mail, Facebook eller Google som login.

Du kan også logge ind via nedenstående tjenester