Extracting a single database from a mysqldump

Some days ago a friend asked me how to extract a single database from a complete database dump. He created the dump using mysqldump and only wanted to restore a single database, without having go through >80k lines. After a little thinking I came up with a little script that ... »