Kraus

Kraus is a German surname meaning "curly". Notable people with the surname include:

Fictional characters

gollark: The error handling stuff is run outside of the coroutines managed by the main loop.
gollark: PotatOS hijacks the error handling and directly injects bees.
gollark: That causes the loop thing to exit with an error.
gollark: Then, it does `os.queueEvent "terminate"`.
gollark: So, it overrides printError temporarily so it'll be called on crash of that loop.

See also

  • Kraus Flooring, a carpet manufacturing and flooring distribution company
  • 27049 Kraus, a main-belt asteroid

See also

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