STM32 Openocd Interrupt debuggen

Ich schreibe gerade ein Programm für einen STM32F103. Dieses Programm 
erzeugt mit Hilfe des Timers 2 eine Zeitbasis. Das heißt, innerhalb der 
Timer2 Interruptserviceroutine wird ein Ausgangspin getoggelt. Das 
Proramm läuft. Ich habe allerdings mal versuchsweise einen Breakpoint in 
die Interruptserviceroutine gesetzt, aber das Programm hält nicht am 
Breakpoint an. Wenn ich das Programm während des Debuggens ohne 
Breakpoints starte, wird anscheinend die Interruptserviceroutine nicht 
ausgeführt (Pin wird nicht getoggelt). Wie kann ich im Debugmodus 
Interruptserviceroutinen ausführen und debuggen?

Ich benutzte Eclipse, Openocd 0.0.1 und Codesourcery.

Meine Debuggerkommandos:
target extended-remote localhost:3333
monitor debug_level 2
monitor halt
load
monitor cortex_m3 maskisr off
thbreak main
monitor debug_level 0