About 180 workers were evacuated from a North Sea oil platform today after a gas leak was discovered. Production was shut down while repair crews tried to stem the leak.