[PR #637] [MERGED] Add pid flag to serve and don't set pid by default #15504

Closed
opened 2025-11-02 11:48:05 -06:00 by GiteaMirror · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/go-gitea/gitea/pull/637
Author: @Bwko
Created: 1/10/2017
Status: Merged
Merged: 1/14/2017
Merged by: @lunny

Base: masterHead: serve-pid


📝 Commits (1)

  • 185ccc3 Don't create a default pid file

📊 Changes

2 files changed (+3 additions, -5 deletions)

View changed files

📝 cmd/web.go (+1 -1)
📝 modules/setting/setting.go (+2 -4)

📄 Description

Solves the pid bug of #635


🔄 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/637 **Author:** [@Bwko](https://github.com/Bwko) **Created:** 1/10/2017 **Status:** ✅ Merged **Merged:** 1/14/2017 **Merged by:** [@lunny](https://github.com/lunny) **Base:** `master` ← **Head:** `serve-pid` --- ### 📝 Commits (1) - [`185ccc3`](https://github.com/go-gitea/gitea/commit/185ccc38c9fdb75cd7881b80d69bbeec1fcffb9f) Don't create a default pid file ### 📊 Changes **2 files changed** (+3 additions, -5 deletions) <details> <summary>View changed files</summary> 📝 `cmd/web.go` (+1 -1) 📝 `modules/setting/setting.go` (+2 -4) </details> ### 📄 Description Solves the pid bug of #635 --- <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:48:05 -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#15504