Vorrei lanciare un file bat da una pagina php e possibilmente interromperne l'esecuzione con un altro comando sempre da pagina php. Come si fa??