如何将PID保存到锁定文件中

Question

我需要将PID保存到file.lock中，但我似乎无法做到这一点。 我有这个：

int main() {
    printf("PID = %d\n", getpid()) >> servidor.lock;
}