Pasco, Ohio

Pasco is an unincorporated community in Shelby County, in the U.S. state of Ohio.[1]

History

A post office called Pasco was established in 1893, and remained in operation until 1905.[2] Besides the post office, Pasco had a country store.[3]

gollark: So I thought "well, I'll just make it check if the nick is in use when it gets the NICK command".
gollark: However, this does not actually stop multiple people having the same nick, which is no.
gollark: Basically, osmarksunnecessaryIRCserver™ receives connections from clients, for purposes. They are not actually considered registered until they set a nickname. So I currently have it loop and receive messages until it gets `NICK bees` or whatever, at which point it sends the welcome messages, write-locks the global state struct™, writes in the new client connection, and adds the nick to the in-use map.
gollark: Yes, but that would be annoying.
gollark: Hmm. It looks like I need software transactional memory or something, but ææææææ there are not really any good libraries for that?

References

  1. U.S. Geological Survey Geographic Names Information System: Pasco, Ohio
  2. "Shelby County". Jim Forte Postal History. Retrieved 24 December 2015.
  3. Hitchcock, Almon Baldwin Carrington (1913). History of Shelby County, Ohio, and representative citizens. p. 378.



This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.