I used a AT80C2051 with external int0

If the processor jumps to the interrupt routine,
I disable external int0 from within the ISR.

Within the ISR I change the state of the INT0 pin, but no
interrupt occurs because I disabled it.

However It seems that when I enable int0 again the
interrupt occurs, although there is no valid interrupt
condition anymore.

I could not find anythingh in the datasheet, but is it true that
the interrupt request still is serviced even when the interrupt
is disabled ?