#!/usr/bin/php value = Pin::GPIO_HIGH; } /* [1] Check argument =========================================================*/ if( $argc < 2 || !preg_match('@^\d+$@', $argv[1]) ){ echo 127; die(); } /* [2] Launch main script =========================================================*/ echo gpio_high($argv[1]); ?>