The first public piped gas supply was to 13 gas lamps, each with three glass globes along the length of Pall Mall, London in 1807. The credit for this goes to the inventor and entrepreneur Fredrick Winsor and the plumber Thomas Sugg, who made and laid the pipes. Digging up streets to lay pipes required legislation and this delayed the development of street lighting and gas for domestic use. Meanwhile, William Murdoch and his pupil Samuel Clegg were installing gas lighting in factories and work places, encountering no such impediments.