Diffusion Icinga plugins de78c81353f3

Rename dir_id to DIR_ID
de78c81353f3
Actions

Tags

None

Subscribers

None

This commit no longer exists in the repository. It may have been part of a branch which was deleted.

Description

Rename dir_id to DIR_ID

It's a global constant, so it makes more sense to uppercase it.

Details

Provenance

vlorentz	Authored on Mar 4 2022, 4:06 PM
vlorentz	Pushed on Mar 4 2022, 5:21 PM

Differential Revision

D7297: Rename dir_id to DIR_ID

Build Status

Buildable 27305
Build 42714: test-and-build	Jenkins console · Jenkins

Event Timeline

vlorentz committed rDICPde78c81353f3: Rename dir_id to DIR_ID (authored by vlorentz).Mar 4 2022, 4:06 PM

vlorentz added an edge: D7297: Rename dir_id to DIR_ID.Mar 4 2022, 5:21 PM

Harbormaster completed building B27305: rDICPde78c81353f3: Rename dir_id to DIR_ID.Mar 4 2022, 5:23 PM

Commit No Longer Exists

This commit no longer exists in the repository.