Shell Programming and Scripting

I have a file that looks liek this (see below). can somebody provide me with and awk or sed command that can take a piece of the file starting from the time to the blank line and put in into another file.

For example: How would I get the data from 10:56:11 to the blank line.

Two things:

1) I want to leave the original file in tact.

2) I will know the value but my seconds may be off, so I would really only
want to match HH:MM instead of HH:MM:SS.

10:56:10
PID ELAPSED
1 11-18:33:15
73828 11-18:32:28
77906 11-18:32:29

10:56:11
PID ELAPSED
1 11-18:33:16
73828 11-18:32:29
77906 11-18:32:30
90208 11-18:32:30

10:58:10
PID ELAPSED
1 11-18:33:15
73828 11-18:32:28
77906 11-18:32:29

Thanks in advance to all who answer this post

Code:

pattern="10:32"
awk -v pattern="$pattern"   '{if(index($0, pattern)==1) {ok=1}
                                        if(ok) {print $0}
                                        if(length($0)==0} {ok=0} ' inputfile > outputfile

I do appreicate the code snippet but there appears to be a syntax error in
it. Not being that familiar with awk can re-post it without the syntax issue. It would be greatly appreciated.

Another approach, but without the seconds in the pattern you could get more pieces of the file:

Code:

awk -v time="10:56" 'index($0, time)==1{f=1}
f && !NF{f=0;print ""}
f' file

Got it

pattern="10:32"
awk -v pattern="$pattern" '{ if (index($0, pattern)==1) {ok=1}
if(ok) {print $0}
if (length($0)==0) {ok=0} }' $inputfile > $outputfile
Thanks to all

SED alternative:

Code:

 sed -e '/'"$pattern"'/!d; :pr' -e '/^$/b' -e ' n; b pr' file