Hi there, Is there a proper pulumi way to restart a specific service during an update ? (I typically have to restart the pgpool service after adding a user to the config)