3) { $out = shell_exec ("/bin/bash ./grepfindsed20250418v1final.sh " . $searchstring); echo $out; echo "

Found ...

"; echo ""; } session_destroy (); ?>