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
- U.S. Geological Survey Geographic Names Information System: Pasco, Ohio
- "Shelby County". Jim Forte Postal History. Retrieved 24 December 2015.
- 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.