From professional translators, enterprises, web pages and freely available translation repositories.
gdb script to be executed at run time.
ce script shell est exécuté après que le script de configuration de « & #160; gdb & #160; » a été lu par gdb. lorsqu'on débogue à distance, ce script est destiné à véritablement démarrer le processus distant. [l'exécutable à déboguer est censé pouvoir être atteint sur la cible, peut-être en le téléchargeant comme étape ultime de la construction] 1) trouver un moyen pour exécuter une commande à distance - rsh, ssh, telnet... 2a) exécuter « & #160; gdbserver... application & #160; » sur la cible ou, si votre exécutable contient la partie de code nécessaire à « & #160; gdb & #160; » 2b) exécuter « & #160; application & #160; » sur la cible. gdb script to be executed at run time.
Last Update: 2011-10-23
Usage Frequency: 1
Quality:
Warning: Contains invisible HTML formatting
shell script to be executed at run time
ce script est lu par « & #160; gdb & #160; » lorsque le débogage démarre. shell script to be executed at run time
Last Update: 2011-10-23
Usage Frequency: 1
Quality:
Warning: Contains invisible HTML formatting
başlangıç betiği@ label: chooser script executed when app finishes
script de démarrage@label: chooser script executed when app finishes
Last Update: 2011-10-23
Usage Frequency: 1
Quality:
swisseph dizinini seç@ label: chooser script executed when app starts
sélectionner le dossier swisseph@label: chooser script executed when app starts
Last Update: 2011-10-23
Usage Frequency: 1
Quality:
registers the function named by func to be executed when script processing is complete.
register_shutdown_function() enregistre la fonction func pour exécution à l 'extinction du script.
Last Update: 2011-10-24
Usage Frequency: 1
Quality:
de-registers the function named by func so it is no longer executed when a tick is called.
unregister_tick_function() annule l 'exécution automatique de func à chaque tick.
Last Update: 2011-10-24
Usage Frequency: 1
Quality:
header( "location: http: / /www.php.net / "); / * redirect browser to php web site * / exit; / * make sure that code below does not get executed when we redirect. * /
la première chose à faire dans votre script est:
Last Update: 2011-10-24
Usage Frequency: 1
Quality:
Warning: Contains invisible HTML formatting