repool

English

Etymology

From re- +‎ pool.

Verb

repool (third-person singular simple present repools, present participle repooling, simple past and past participle repooled)

1. To return (something) to a pool (in various senses) after having previously taken it out; to pool again.

   to repool a server

   to repool money

   • 1999, Hill Gates, Looking for Chengdu: A Woman's Adventures in China, Ithaca, N.Y.; London: Cornell University Press, →ISBN, page 199:

     The government's banks are offering high interest on savings as another means of repooling capital that the eighties dispersed so widely.

   • 2024 July 21, Ladsgroup [Amir Sarabadani], “Exception caught inside exception handler: Wikimedia\Rdbms\DBUnexpectedError: Database servers in extension1 are overloaded.”, in Wikimedia Phabricator‎, archived from the original on 22 July 2024:

     I'm also repooling db1179 (x1) now (after checking for errors since it just started after hardware crash: T369855: db1179 crashed - hardware issues) that would prevent the circuit breaking to kick in for x1 and reduce the impact of the issue.