[PR #1048] [MERGED] Fix for #1037: Corrected process ID placeholder to PID from Pid #15732

Closed
opened 2025-11-02 11:53:20 -06:00 by GiteaMirror · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/go-gitea/gitea/pull/1048
Author: @cez81
Created: 2/24/2017
Status: Merged
Merged: 2/25/2017
Merged by: @lunny

Base: masterHead: admin_monitor_pid


📝 Commits (1)

  • 5bd54a4 Fix for #1037: Corrected process ID placeholder to PID from Pid

📊 Changes

1 file changed (+1 additions, -1 deletions)

View changed files

📝 templates/admin/monitor.tmpl (+1 -1)

📄 Description

Changed the process ID placeholder to PID from Pid

admin_monitor_pid


🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.

## 📋 Pull Request Information **Original PR:** https://github.com/go-gitea/gitea/pull/1048 **Author:** [@cez81](https://github.com/cez81) **Created:** 2/24/2017 **Status:** ✅ Merged **Merged:** 2/25/2017 **Merged by:** [@lunny](https://github.com/lunny) **Base:** `master` ← **Head:** `admin_monitor_pid` --- ### 📝 Commits (1) - [`5bd54a4`](https://github.com/go-gitea/gitea/commit/5bd54a498f1fcfb962daabf0c9426ff0e457c754) Fix for #1037: Corrected process ID placeholder to PID from Pid ### 📊 Changes **1 file changed** (+1 additions, -1 deletions) <details> <summary>View changed files</summary> 📝 `templates/admin/monitor.tmpl` (+1 -1) </details> ### 📄 Description Changed the process ID placeholder to PID from Pid ![admin_monitor_pid](https://cloud.githubusercontent.com/assets/9416498/23321968/1b06e272-fae2-11e6-968c-e5c2d3162380.png) --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
GiteaMirror added the pull-request label 2025-11-02 11:53:20 -06:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: github-starred/gitea#15732