in Tutorials/ErrorReporting/Stage2/main.c [359:378]
static void ClosePeripheralsAndHandlers(void)
{
// Leave the LED off
if (blinkingLedBlueGpioFd != -1) {
GPIO_SetValue(blinkingLedBlueGpioFd, GPIO_Value_High);
}
if (blinkingLedGreenGpioFd != -1) {
GPIO_SetValue(blinkingLedGreenGpioFd, GPIO_Value_High);
}
DisposeEventLoopTimer(buttonPollTimer);
DisposeEventLoopTimer(blinkTimer);
EventLoop_Close(eventLoop);
Log_Debug("Closing file descriptors.\n");
CloseFdAndPrintError(blinkingLedBlueGpioFd, "BlinkingLedBlueGpio");
CloseFdAndPrintError(blinkingLedGreenGpioFd, "BlinkingLedGreenGpio");
CloseFdAndPrintError(ledBlinkButton1GpioFd, "LedBlinkButton1Gpio");
CloseFdAndPrintError(ledBlinkButton2GpioFd, "LedBlinkButton2Gpio");
}