EXTI_GetITStatus(EXTI_Line13) != RESET 这句话是有必要加的，因为在库函数中10到15是共用的一个中断号，如果不加的话，端口10到15会进入同一个程序入口，执行相同的程序，加上后就可以利用if判断语句执行和GPIO_Pin_13特定的程序了。另，延时服务函数在中断中是可以添加的，但是不要太长，根据你的实际情况，不要超过触发中断周期的长度。
