diff -r 0cce88c7cf7c -r ea7b100e5de6 inst-resources/selfdestruct.php --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/inst-resources/selfdestruct.php Sat Jul 11 10:08:22 2009 -0400 @@ -0,0 +1,23 @@ +sql_query("DROP ROLE `$dbuser`;"); +$db->sql_query("REVOKE ALL PRIVILEGES ON `$dbname`.* FROM `$dbuser`@localhost;"); + +$q = $db->sql_query("DROP DATABASE `$dbname`;"); +if ( $q ) + exit(0); + +exit(1); +